Berechenbarkeit, Komplexität, Logik Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität Börger, Egon Heftet / 1986 / Tysk
Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität Börger, Egon Heftet / 1992 / Tysk
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
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures Börger, Egon Heftet / 2008 / Engelsk
