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 edition 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
History
- Created April 30, 2008
- 12 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| February 25, 2022 | Edited by ImportBot | import existing book |
| December 3, 2020 | Edited by MARC Bot | import existing book |
| August 24, 2020 | Edited by ImportBot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |