Zoekresultaten
Resultaat 1 - 4 (van 4)
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