Zoekresultaten
Resultaat 1 - 7 (van 7)
E.M.G.M. Hubbers | E. Poll Reasoning about card tears and transactions in Java Card
Non-fictie
Engels | 15 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek
E. Poll | Pieter H. Hartel | E. de Jong A Java reference model of transacted memory for smart cards
Non-fictie
Engels | 14 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
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
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
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
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
B.P.F. Jacobs | E. Poll A monad for basic Java semantics
Non-fictie
Engels | 15 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek