Documents associated with Th. Weller

Abstract of the paper, 15.07.1974(?)
"Specification and Proving of Command Programs".

Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016