Prof. Dr. Robert F. Stärk, Dipl.-Inf. Joachim Schmid, Prof. Dr. Egon Börger -Java and the Java Virtual Machine: Definition, Verification, Validation

[Kiaro]

Для просмотра ссылки Войди или Зарегистрируйся

Название: Java and the Java Virtual Machine: Definition, Verification, Validation
Год: 2001
Издатель: Springer-Verlag Berlin Heidelberg
Язык: english
Кол-во страниц: 362
Формат: PDF


Описание:

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 structured into language layers and machine components.


Скачать

Для просмотра ссылки Войди или Зарегистрируйся