Alles van: L. Ammeraal
Resultaat 1 - 2 (van 2)
L. Ammeraal On foreward and backward proof rules for program verification
Engels | 8 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
L. Ammeraal A W-grammar for the semantics of integer expressions
Engels | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek