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

by Egon Börger (Author), Joachim Schmid (Author), Robert F. Stärk (Author)

New
Illustrated
2001
$123.23

Offers a 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.

Synopsis

Offers a 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.

$123.23

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 398
Edition: 2001
Publisher: Springer
Published: 20 Jun 2001
ISBN 10: 3540420886
ISBN 13: 9783540420880

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

New

$123.23

Synopsis

$123.23

More Information