Alles van: U. Hanneman
Resultaat 1 - 2 (van 2)
U. Hanneman | J. Hooman Top-down design of a command-and-control system with timing assumptions
Non-fictie
Engels | 53 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek
U. Hanneman Semantic analysis of compositional proof methods for concurrency
Non-fictie
Engels | 232 pagina's | 2000
Gedrukt boek