Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Java and the Java Virtual Machine - Definition, Verification, Validation (Hardcover, 2001 ed.)
Loot Price: R1,616
Discovery Miles 16 160
|
|
Java and the Java Virtual Machine - Definition, Verification, Validation (Hardcover, 2001 ed.)
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R1,636
Discovery Miles: 16 360
|
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 (written in AsmGofer and provided on CD ROM) 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 CD ROM contains the entire text of the book and numerous examples and exercises.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.