Zoekresultaten
Resultaat 1 - 2 (van 2)
M. Huisman | A.M. Talmon Krachtenbalans en effectiviteit boorproces
Nederlands | 28 pagina's | CUR/COB, Gouda | 1999
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