An edition of Java and the Java virtual machine
(2001)
Java and the Java Virtual Machine
Definition, Verification, Validation
1 edition
by Robert F. Stärk, Joachim Schmid, and Egon Börger
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Java and the Java Virtual Machine: Definition, Verification, Validation
June 27, 2001, Springer
Hardcover
in English
- 1 edition
3540420886 9783540420880
|
aaaa
|
Book Details
First Sentence
"The notion of Abstract State Machines (ASMs), defined in [20], captures in mathematically rigorous yet transparent form some fundamental operational intuitions of computing, and the notation is familiar from programming practice and mathematical standards."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| February 25, 2022 | Edited by ImportBot | import existing book |
| February 12, 2019 | Created by MARC Bot | import existing book |