Zoekresultaten
Resultaat 1 - 2 (van 2)
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
D.J.N. van Eijck Quantification and partiality
Non-fictie
Engels | 35 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek