Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
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
Source records
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
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 |
July 4, 2019 | Edited by MARC Bot | import existing book |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |