Alles van: Martin Paul Alexander Sellink
Resultaat 1 - 1 (van 1)
Martin Paul Alexander Sellink Computer-aided verification of protocols
the type theoretic approach
Non-fictie
Engels | 192 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1996
Gedrukt boek