Zoekresultaten
Resultaat 1 - 10 (van 10)
M. Huisman Software reliability for everyone
Non-fictie
Nederlands | 32 pagina's | University of Twente, [Enschede] | 2018
Gedrukt boek
M. Huisman | A.M. Talmon Krachtenbalans en effectiviteit boorproces
Nederlands | 28 pagina's | CUR/COB, Gouda | 1999
Gedrukt boek
M. Huisman Wat is Lupus?
Systemische Lupus Erythematosus
Non-fictie
Nederlands | 8 pagina's | Lupus Patiënten Groep, Den Haag | 1996
Gedrukt boek
M. Huisman Reasoning about Java programs in higher order logic using PVS and Isabelle
Non-fictie
Engels | 240 pagina's | 2001
Gedrukt boek
M. Huisman | B.P.F. Jacobs Inheritance in higher order logic
modeling and reasoning
Non-fictie
Engels | 18 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 2000
Gedrukt boek
M. Huisman | B.P.F. Jacobs | Joachim van den Berg A case study in class library verification: Java's vector class
Non-fictie
Engels | 38 pagina's | Computing Science Institute, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
M. Huisman | B.P.F. Jacobs Java program verification via a Hoare logic with abrupt termination
Non-fictie
Engels | 22 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
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
M. Huisman Binary addition in lego
Non-fictie
Engels | 20 pagina's | Nijmegen Computing Science Institute, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek
M. Huisman Designing a satellite tracking system with the use of PVS and maple
Non-fictie
Engels | 25 pagina's | Nijmegen Computing Science Institute, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek