𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Java and the Java Virtual Machine Definition, Verification, Validation; Robert Stark, Joachim Schmid, Egon Borger

Publisher
Springer
Year
2001
Tongue
English
Leaves
389
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Java and the Java Virtual Machine: Defin
πŸ“ Java and the Java Virtual Machine: Definition, Verification, Validation
✍ Prof. Dr. Robert F. StΓ€rk, Dipl.-Inf. Joachim Schmid, Prof. Dr. Egon BΓΆrger (aut πŸ“‚ Library πŸ“… 2001 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>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. The description is st

Java and the Java Virtual Machine: Defin
πŸ“ Java and the Java Virtual Machine: Definition, Verification, Validation
✍ Robert F. StΓ€rk, Joachim Schmid, Egon BΓΆrger πŸ“‚ Library πŸ“… 2001 πŸ› Springer 🌐 English

<span>The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wol

Java and the Java Virtual Machine: Defin
πŸ“ Java and the Java Virtual Machine: Definition, Verification, Validation
✍ Robert F. StΓ€rk, Joachim Schmid, Egon BΓΆrger πŸ“‚ Library πŸ“… 2001 πŸ› Springer 🌐 English

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. The description is struc

Java Virtual Machine (Java Series)
πŸ“ Java Virtual Machine (Java Series)
✍ Troy Downing, Jon Meyer πŸ“‚ Library πŸ“… 1997 πŸ› O'Reilly Media 🌐 English

The Java Virtual Machine is the software implementation of a "CPU" designed to run compiled Java code. Using the Java Virtual Machine (JVM) unleashes the true power of Java -- making it possible to develop additional syntaxes for expressing the problems you want to solve and giving you the ulti