Robert F. Stärk, Joachim Schmid, Egon Börger

eBook, PDF

Java and the Java Virtual Machine (eBook, PDF)

Definition, Verification, Validation

Beschreibung

This book provides a high-level desription of Java and of the Java Virtual Machine.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 27.95MB

Barrierefreiheit

• Text-to-Speech

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 381
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9783642594953
• Artikelnr.: 52965388

Rezensionen

From the reviews:

"A professional Java programmer must know what his program exactly will do, if it is run on a Java Virtual Machine (JVM). To help these professionals, the book presents a mathematical framework using the notation of Abstract State Machines (ASMs). ... it is addressed to professional software engineers and to advanced students who require a complete and exact definition of Java and of the behaviour of the JVM. With AsmGofer an interesting experimental system for program verification is available." (W. Brecht, Zentralblatt MATH, Vol. 978, 2002)