Для просмотра ссылки Войди или Зарегистрируйся
Название: Java and the Java Virtual Machine - Extra Materials
Год: 2001
Издатель: Springer
Язык: english
Кол-во страниц: 364
Формат: 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. It comes with a natural executable refinement which can be used for testing code.
Скачать
Для просмотра ссылки Войдиили Зарегистрируйся
Название: Java and the Java Virtual Machine - Extra Materials
Год: 2001
Издатель: Springer
Язык: english
Кол-во страниц: 364
Формат: 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. It comes with a natural executable refinement which can be used for testing code.
Скачать
Для просмотра ссылки Войди