Documents associated with Mario Aiello

Abstract of the paper, 15.07.1974(?)
"Another axiomatization of PASCAL or Why axiomatize programming languages".

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