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 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. Innbundet / 2001 / 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
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings Börger, Egon Heftet / 2003 / Engelsk
Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers Börger, Egon Heftet / 1994 / Engelsk
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control Abrial Jean-Raymond Heftet / 1996 / Engelsk
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings Börger, Egon Heftet / 1988 / Engelsk
CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings Börger, Egon Heftet / 1990 / Engelsk
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Börger, Egon Heftet / 2008 / Engelsk
Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings Börger, Egon Heftet / 1991 / Engelsk
