Java and the Java Virtual ...
Abbildung vergrößern
Portofrei

Java and the Java Virtual Machine (Kassette)

Definition, Verification, Validation

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

  Buch
Durchschn. Bewertung:  noch nicht vorhanden
Produkt bewerten: Teilen Sie Ihre Meinung zu diesem Titel anderen Lesern mit und schreiben Sie eine Online-Rezension.
Buch   (Kassette)
EUR  85,55
 
a  sofort lieferbar
 
Alle Preisangaben inkl. MwSt.

Beschreibung zu "Java and the Java Virtual Machine"  (Buch)

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. 

Medium:  Buch
Seiten:  x, 381
Format:  Kassette
Sprache:  Englisch, Deutsch
Erschienen:  Juni 2001
Auflage:  2001.
Mehr vom Autor
› Stärk, Robert F. / Schmid, Joachim / Börger, Egon
Mehr vom Verlag:
› Springer-Verlag GmbH
Maße:  244 x 165 mm
Gewicht:  725 g
ISBN-10:  3540420886
ISBN-13:  978-3540420880
Verlagsbestell-Nr.:  10837750

Kritikmehr Info ›

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) 

Autormehr Info ›

Egon Börger ist Professor für Informatik an der Universität Pisa (Italien) und Alexander-von-Humboldt-Forschungspreisträger. 

Im Themenkatalog stöbern  

 ›  Start
 ›  Bücher
 ›  Computer & Internet
 ›  Internet
 ›  Web Design & HTML
 ›  Web Programmierung
 ›  Java
 ›  Java 2

Verwandte Artikel finden  

Kundenbewertungen von buch24.de