Abstract State Machines A Method for High-Level System Design and Analysis Börger, Egon Heftet / 2013 / Engelsk
Abstract State Machines A Method for High-Level System Design and Analysis Börger, Egon Innbundet / 2003 / Engelsk
Java and the Java Virtual Machine Definition, Verification, Validation Stärk, Robert F. Heftet / 2014 / Engelsk
Java and the Java Virtual Machine Definition, Verification, Validation Stärk, Robert F. Innbundet / 2001 / Engelsk
Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings Kahle Reinhard Heftet / 2001 / Engelsk
