Virtual Machine: Definition, Verification, Validation
* Hardcover: 392 pages
* Publisher: Springer; 1 edition (June 27, 2001)
* Language: English
* ISBN-10: 3540420886
This book provides a high-level description, together with a mathematical and an experimental analysis, of...