Alles van: D. Griffioen | M. Huisman
Resultaat 1 - 1 (van 1)
D. Griffioen | M. Huisman A comparison of PVS and Isabelle/HOL
Non-fictie
Engels | 18 pagina's | Computing Science Institute, Faculty of Mathematics and Informatics, Nijmegen | 1998
Gedrukt boek