Zoekresultaten
Resultaat 1 - 9 (van 9)
B.P.F. Jacobs A formalisation of Java's exception mechanism
Non-fictie
Engels | 18 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
B.P.F. Jacobs | E. Poll A logic for the Java modeling language JML
Non-fictie
Engels | 17 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
Joachim van den Berg | B.P.F. Jacobs The LOOP compiler for Java and JML
Non-fictie
Engels | 16 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
E. Poll | Joachim van den Berg | B.P.F. Jacobs Formal specification of the JavaCard API in JML: the APDU class
Non-fictie
Engels | 14 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
Joachim van den Berg | B.P.F. Jacobs | E. Poll Formal specification and verification of JavaCard's application identifier class
Non-fictie
Engels | 9 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
E. Poll | Joachim van den Berg | B.P.F. Jacobs Specification of the JavaCard API in JML
Non-fictie
Engels | 14 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 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
B.P.F. Jacobs Many-sorted coalgebraic modal logic: a model-theoretic study
Non-fictie
Engels | 26 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek