CS | Egon Börgerhttps://www.egonboerger.org/tags/cs/CSSource Themes Academic (https://sourcethemes.com/academic/)en-usCopyright © 2026 Egon BörgerMon, 01 Jan 2024 00:00:00 +0000/img/favicon.icoCShttps://www.egonboerger.org/tags/cs/Structures of Computing - A Guide to Practice-Oriented Theoryhttps://www.egonboerger.org/publication/structuresbook/Mon, 01 Jan 2024 00:00:00 +0000https://www.egonboerger.org/publication/structuresbook/Modeling Companion for Software Practitionershttps://www.egonboerger.org/publication/modelingbook/Mon, 01 Jan 2018 00:00:00 +0000https://www.egonboerger.org/publication/modelingbook/Abstract State Machines - A Method for High-Level System Design and Analysishttps://www.egonboerger.org/publication/asmbook/Wed, 01 Jan 2003 00:00:00 +0000https://www.egonboerger.org/publication/asmbook/Java and the Java Virtual Machine — Definition, Verification, Validationhttps://www.egonboerger.org/publication/jbook/Mon, 01 Jan 2001 00:00:00 +0000https://www.egonboerger.org/publication/jbook/