Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Java and the Java Virtual Machine: Definition, Verification, Validation
June 27, 2001, Springer
Hardcover
in English
- 1 edition
3540420886 9783540420880
|
aaaa
Libraries near you:
WorldCat
|
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
ID Numbers
Community Reviews (0)
Feedback?February 25, 2022 | Edited by ImportBot | import existing book |
February 12, 2019 | Created by MARC Bot | import existing book |