Author: Robert F. Stärk
Edition: 2001
Publisher: Springer
Binding: Hardcover
ISBN: 3540420886
Category: Programming
List Price: $ 109.00
Price: $ 70.69
You Save: 35%
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. Programming books Java and the Java Virtual Machine pdf. The description is structured into language layers and machine components. It comes with a natural executable refinement which 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 and an executable model of the language and of the virtual machine underlying its intended implementation. Download books Java and the Java Virtual Machine: Definition, Verification, Validation pdf via mediafire, 4shared, rapidshare.
Price comparison for Java and the Java Virtual Machine: Definition, Verification, Validation
Price: $3.9
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. CD-ROM included.
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. CD-ROM included.
Price: $1
Java and the Java Virtual Machine: Definition, Verification, Validation: Egon B?rger, Joachim Schmid, Robert F. St?rk
Java and the Java Virtual Machine: Definition, Verification, Validation: Egon B?rger, Joachim Schmid, Robert F. St?rk
Price: $32.53
payment | shipping rates | returns Java and the Java Virtual Machine: Definition, Verification, Validation Product Category :Books ISBN :3540420886 Title :Java and the Java Virtual Machine: Definition, Verification, Validation EAN :9783540420880 Authors :Börger, Egon, Schmid, Joachim, Stärk, Robert F.Binding :Hardcover Publisher :Springer Publication Date :2001-06-27 Pages :404 Signed :False First Edition :False Dust Jacket :False List Price (MSRP) :109.00 Height :1.0200 inches Width :6.2200
payment | shipping rates | returns Java and the Java Virtual Machine: Definition, Verification, Validation Product Category :Books ISBN :3540420886 Title :Java and the Java Virtual Machine: Definition, Verification, Validation EAN :9783540420880 Authors :Börger, Egon, Schmid, Joachim, Stärk, Robert F.Binding :Hardcover Publisher :Springer Publication Date :2001-06-27 Pages :404 Signed :False First Edition :False Dust Jacket :False List Price (MSRP) :109.00 Height :1.0200 inches Width :6.2200
Price: $136.33
Springer 9783540420880 Java and the Java Virtual Machine: Definition, Verification, Validation (2001 Edition) Description 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 ex
Springer 9783540420880 Java and the Java Virtual Machine: Definition, Verification, Validation (2001 Edition) Description 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 ex
Price: $68
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 CD ROM included
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 CD ROM included
Download Java and the Java Virtual Machine
The description is structured into language layers and machine components. It comes with a natural executable refinement which 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 and an executable model of the language and of the virtual machine underlying its intended implementation. "The Jbook gives the most comprehensive and consistent formal account of the combination of Java and the JVM." (Pieter Hartel and Luc Moreau in Formalizing the Safety of Java, the Java Virtual Machine and Java Card, ACM Computing Surveys, 33(4):517-558, 2001. Section 6.2, page 540.) Download free Java and the Java Virtual Machine: Definition, Verification, Validation pdf
No comments:
Post a Comment