Zoekresultaten
Resultaat 1 - 2 (van 2)
Linda van der Gaag | J.-J.Ch. Meyer Characterising normal forms for informational independence
Non-fictie
Engels | 6 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
M. van Hulst | J.-J.Ch. Meyer A knowledge-based compositional proof system for parallel processes
Non-fictie
Engels | 32 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek