Zoekresultaten
Resultaat 1 - 1 (van 1)
L. Ammeraal On foreward and backward proof rules for program verification
Engels | 8 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
Resultaat 1 - 1 (van 1)
Engels | 8 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek