Selected Publications
Research
Teaching
Science Management
Papers, Talks, CV
Structures of Computing - A Guide to Practice-Oriented Theory
Egon Börger
,
Vincenzo Gervasi
Springer Verlag,
2024
Printed
CS
Related
Modeling Companion for Software Practitioners
Abstract State Machines - A Method for High-Level System Design and Analysis
Java and the Java Virtual Machine — Definition, Verification, Validation
Cite
×