Java and the Java Virtual Machine

Author: Robert F. Stärk
Edition: 2001
Binding: Hardcover
ISBN: 3540420886

Java and the Java Virtual Machine: Definition, Verification, Validation

This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. Get Java and the Java Virtual Machine computer books for free.
The description is structured into language layers and machine components. It comes with a natural executable refinementAwhich can be used for testing code. The method developed for this purpose is based on Abstract State Machines (ASMs) and can be applied to other virtual machines and to other programming languages as well. The book is written for advanced students and for professionals and practitioners in research and development who need a complete and transparent definition Check Java and the Java Virtual Machine our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.

Java and the Java Virtual Machine Free

The book is written for advanced students and for professionals and practitioners in research and development who need a complete and transparent definition

Related Computer Books