Java and the Java Virtual Machine: Definition, Verification, Validation by Joach
71,39 €
1.1 The goals of the book. - 1.2 The contents of the book. - 1.3 Decomposing Java and the JVM. - 1.4 Sources and literature. Abstract State Machines. - 2.1 ASMs in a nutshell. - 2.2 Mathematical definition of ASMs.
Jetzt bei Ebay:
