Zoekresultaten
Resultaat 1 - 1 (van 1)
D.J.N. van Eijck | Fer-Jan de Vries Dynamic interpretation and Hoare deduction
Non-fictie
Engels | 27 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek