CURRENTLY SOLD OUT

Java and the Java Virtual Machine: Definition, Verification, Validation by Robert F. Stark, Egon Boerger, Joachim Schmid (Hardcover, 2001)

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540420880
eBay Product ID (ePID)
94485267

Product Key Features

Author
Robert F. Stark, Egon Boerger, Joachim Schmid
Publication Name
Java and the Java Virtual Machine: Definition, Verification, Validation
Format
Hardcover
Language
English
Subject
Computer Science
Publication Year
2001
Type
Textbook
Number of Pages
381 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
733g

Additional Product Features

Title_Author
Egon Boerger, Robert F. Stark, Joachim Schmid
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)
5.0 out of 5 stars based on 1 product rating
AU $31.33 New
---- Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $15.00 New
---- Used
Linux Basics For Hackers: Getting Started with Networking, Scripting, and Security in Kali by OccupyTheWeb (Paperback, 2018)
5.0 out of 5 stars based on 1 product rating
AU $45.99 New
AU $30.00 Used
The Hundred Years' War on Palestine: A History of Settler Colonial Conquest and Resistance by Rashid I. Khalidi (Paperback, 2020)
5.0 out of 5 stars based on 1 product rating
AU $27.08 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.57
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.66
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.14
NEW The Red Book By Carl Jung Hardcover Free Shipping
AU $322.60
Trending at AU $335.56
The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your
AU $49.95
Trending at AU $57.84
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.59

Shop by category

Java and the Java Virtual Machine: Definition, Verification, Validation by Robert F. Stark, Egon Boerger, Joachim Schmid (Hardcover, 2001)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

Linux Basics For Hackers: Getting Started with Networking, Scripting, and Security in Kali by OccupyTheWeb (Paperback, 2018)

The Hundred Years' War on Palestine: A History of Settler Colonial Conquest and Resistance by Rashid I. Khalidi (Paperback, 2020)

Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A

Netter Atlas of Human Anatomy: Classic Regional Approach

NEW The Red Book By Carl Jung Hardcover Free Shipping

The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your

Classical Mechanics: The Theoretical Minimum by George Hrabovsky

You may also like

Robert Jordan Fiction Hardcover Books

Robert Crais Fiction Hardcover Books

Nora Roberts Hardcover Fiction Books

Robert Ludlum Fiction Hardcover Books

Robert Louis Stevenson Hardcover Books

Nora Roberts Hardcover Fiction Books in English