Java and the Java Virtual Machine und über 1,5 Millionen weitere Bücher verfügbar für Amazon Kindle. Erfahren Sie mehr


oder
Loggen Sie sich ein, um 1-Click® einzuschalten.
Jetzt eintauschen
und EUR 9,40 Gutschein erhalten
Eintausch
Alle Angebote
Möchten Sie verkaufen? Hier verkaufen
Der Artikel ist in folgender Variante leider nicht verfügbar
Keine Abbildung vorhanden für
Farbe:
Keine Abbildung vorhanden

 
Beginnen Sie mit dem Lesen von Java and the Java Virtual Machine auf Ihrem Kindle in weniger als einer Minute.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Java and the Java Virtual Machine: Definition, Verification, Validation [Englisch] [Gebundene Ausgabe]

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

Preis: EUR 85,55 kostenlose Lieferung. Siehe Details.
  Alle Preisangaben inkl. MwSt.
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Gewöhnlich versandfertig in 1 bis 3 Wochen.
Verkauf und Versand durch Amazon. Geschenkverpackung verfügbar.

Weitere Ausgaben

Amazon-Preis Neu ab Gebraucht ab
Kindle Edition EUR 60,10  
Gebundene Ausgabe EUR 85,55  

Kurzbeschreibung

20. Juni 2001
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 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.)

Hinweise und Aktionen

  • Studienbücher: Ob neu oder gebraucht, alle wichtigen Bücher für Ihr Studium finden Sie im großen Studium Special. Natürlich portofrei.


Kunden, die diesen Artikel angesehen haben, haben auch angesehen


Produktinformation


Mehr über den Autor

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Produktbeschreibungen

Pressestimmen

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)

Synopsis

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. "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.


Welche anderen Artikel kaufen Kunden, nachdem sie diesen Artikel angesehen haben?


In diesem Buch (Mehr dazu)
Einleitungssatz
The notion of Abstract State Machines (ASMs), defined in [20], captures in mathematically rigorous yet transparent form some fundamental operational intuitions of computing, and the notation is familiar from programming practice and mathematical standards. Lesen Sie die erste Seite
Mehr entdecken
Wortanzeiger
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Rückseite
Hier reinlesen und suchen:

Kundenrezensionen

Es gibt noch keine Kundenrezensionen auf Amazon.de
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne
Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)
Amazon.com: 3.7 von 5 Sternen  3 Rezensionen
12 von 13 Kunden fanden die folgende Rezension hilfreich
5.0 von 5 Sternen rigorous, interesting examples, great software! 20. Mai 2004
Von Ein Kunde - Veröffentlicht auf Amazon.com
Format:Gebundene Ausgabe
this book is one of a kind, among all the java books on the market. it breaks the java language into 5 (progressive) layers, and gives the abstract syntax, static semantic (type constraints), dynamic semantic (interpretation), and complitation rules of each layer. This approach is effective, mathematically rigorous, and believe or not, fun to read!

as most of the PL books with formal flavor, the notations take some time to get use to. but the rewarding is worth the effort: you get a very clear picture of language itself. the examples are quite interesting, and the software on the CD does a superb job animating the intrepretation of java programs.

all in all, a very good (academic) book, perfect for computer scientists or CS major graduate student interested in PL, but probably not for everyday programmers.

1 von 5 Kunden fanden die folgende Rezension hilfreich
5.0 von 5 Sternen These are REAL scientists, not IT guys... 22. Dezember 2006
Von R. Lane - Veröffentlicht auf Amazon.com
Format:Gebundene Ausgabe
This is by far the most sophisticated software book since the Cold War. Without the Soviets to keep western engineers and scientists on their toes, IT is a alot of marketing buzzwords.

These are real scientists...a breath a fresh air.
3 von 17 Kunden fanden die folgende Rezension hilfreich
1.0 von 5 Sternen Plainly Boring 23. Januar 2006
Von Not The Author - Veröffentlicht auf Amazon.com
Format:Gebundene Ausgabe
It just shows an implementation for an old Java specification (I think JDK1 or JDK1.1) in a weird language called ASM. This ASM is simply a glorified programming language, even not one of the most advanced: haskell, for instance, is much more clearer. You /could/ think about it as a model for java but then it would be useless because of its intricacies and its gigantic size.
Waren diese Rezensionen hilfreich?   Wir wollen von Ihnen hören.

Kunden diskutieren

Das Forum zu diesem Produkt
Diskussion Antworten Jüngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen
Neue Diskussion starten
Thema:
Erster Beitrag:
Eingabe des Log-ins
 


Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
Alle Amazon-Diskussionen durchsuchen
   
Ähnliche Foren


Lieblingslisten


Ähnliche Artikel finden


Ihr Kommentar


Datenschutzerklärung von Amazon.de Versandbedingungen von Amazon.de Umtausch- & Rücknahme bei Amazon.de