Zoekresultaten
Resultaat 1 - 1 (van 1)
J.F. Groote | R. Mateescu Verification of temporal properties of processes in a setting with data
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek