Structures of Computing : A Guide to Practice-Oriented Theory
Egon Borger
Download - Immediately Available
Format: eBook (PDF)
Java and the Java Virtual Machine : Definition, Verification, Validation
Robert F. Stark
Download - Immediately Available
Format: eBook (PDF)
Abstract State Machines : A Method for High-Level System Design and Analysis
Egon Borger
Download - Immediately Available
Format: eBook (PDF)
Modeling Companion for Software Practitioners
Egon Borger
Download - Immediately Available
Format: eBook (PDF)