Preisangaben inkl. USt. Abhängig von der Lieferadresse kann die USt. an der Kasse variieren. Weitere Informationen.
Lieferung für 4,49 € 17. - 20. Februar. Details
Gewöhnlich versandfertig in 6 bis 7 Tagen.
Als Alternative ist das Kindle eBook jetzt verfügbar und kann auf jedem Gerät mit der kostenlosen Kindle-App gelesen werden.
[{"displayPrice":"82,98 €","priceAmount":82.98,"currencySymbol":"€","integerValue":"82","decimalSeparator":",","fractionalValue":"98","symbolPosition":"right","hasSpace":true,"showFractionalPartIfEmpty":true,"offerListingId":"nht2V%2Bmr40Ir7dL5NnjDHTIlL3mqXMY1MVlKjDrHIDROXmQevm7jW8klF46GprENvgCIgUJA%2BX0V5uxAHZ%2BMq%2FJyV21VHaaN4MB4yBSCTe7ce3KgKYxjP2O7xh370ns3PmMiGCgBUKJ6sXYsGNSOhxBtcQnmocKgIwzq%2F1eoAVOJVUVoPjVcDz90wUZ0Uc5p","locale":"de-DE","buyingOptionType":"NEW"},{"displayPrice":"68,00 €","priceAmount":68.00,"currencySymbol":"€","integerValue":"68","decimalSeparator":",","fractionalValue":"00","symbolPosition":"right","hasSpace":true,"showFractionalPartIfEmpty":true,"offerListingId":"MkKSDbyIfiki9KT99OAMnkMSiZQJwWEjAHiervJgv3frxmHS1NMiT%2FbaFp7KGwpZWpx609VinDeCj8OIvbSaEUtLe%2F8OMuS1JpCmFBaFTkamRjK2Za5I8xNLeelCH3Ud0LJmuKeDVX8nWnTk2K%2FUYAEKlWDxKBHagNMLnWs60u9qxfpEuNEe4g%3D%3D","locale":"de-DE","buyingOptionType":"USED"}]
82,98 € € () Enthält ausgewählte Optionen. Inklusive erster monatlicher Zahlung und ausgewählter Optionen. Details
Preis
Zwischensumme
82,98 € €
Zwischensumme
Aufschlüsselung der anfänglichen Zahlung
Versandkosten, Lieferdatum und Gesamtbetrag der Bestellung (einschließlich Steuern) wie bei der Bezahlung angezeigt.
Sichere Transaktion
Deine Transaktion ist sicher
Der sorgfältige Umgang mit Ihren persönlichen Informationen ist uns sehr wichtig. Unser Zahlungssicherheitssystem verschlüsselt Ihre Daten während der Übertragung. Wir geben Ihre Zahlungsdaten nicht an Dritte weiter und verkaufen Ihre Daten nicht an Dritte. Weitere Informationen
Versand
Buchbutler
Verkäufer
Buchbutler
Rückgaben
Retournierbar innerhalb von 30 Tagen nach Erhalt
Sie haben Anspruch auf eine volle Rückerstattung für Artikel, die innerhalb von 30 Tagen nach Erhalt im Originalzustand zurückgegeben werden. Für gebrauchte oder beschädigte Rückgaben erhalten Sie möglicherweise eine teilweise oder keine Rückerstattung.
Vollständige Rückgaberichtlinien lesen
Versand
Buchbutler
Verkäufer
Buchbutler
Rückgaben
Retournierbar innerhalb von 30 Tagen nach Erhalt
Sie haben Anspruch auf eine volle Rückerstattung für Artikel, die innerhalb von 30 Tagen nach Erhalt im Originalzustand zurückgegeben werden. Für gebrauchte oder beschädigte Rückgaben erhalten Sie möglicherweise eine teilweise oder keine Rückerstattung.
Vollständige Rückgaberichtlinien lesen
GRATIS Lieferung 11. - 13. Februar. Details
Gebraucht: Wie neu | Details
Verkauft von BOOK BROKER
Zustand: Gebraucht: Wie neu
Kommentar: Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Dieser Artikel weist folgende Merkmale auf: Helle/saubere Seiten in fester Bindung. 2001 Gebundene Ausgabe, Größe: 23.4 x 2.2 x 15.6 cm Springer, 2001. 391 Seiten
Möchtest du verkaufen?
Bei Amazon verkaufen
Andere Verkäufer auf Amazon
Hinzugefügt
114,44 €
& Kostenlose Lieferung
Verkauft von: Paragon OS
Verkauft von: Paragon OS
(159 Bewertungen)
80 % positiv in den letzten 12 Monaten
Gewöhnlich versandfertig in 9 bis 10 Tagen.
Versandtarife und Rücknahmerichtlinien
Bild des Kindle App-Logos

Lade die kostenlose Kindle-App herunter und lese deine Kindle-Bücher sofort auf deinem Smartphone, Tablet oder Computer – kein Kindle-Gerät erforderlich. Weitere Informationen

Mit Kindle für Web kannst du sofort in deinem Browser lesen.

Scanne den folgenden Code mit deiner Mobiltelefonkamera und lade die Kindle-App herunter.

QR-Code zum Herunterladen der Kindle App

Zur Rückseite klappen Zur Vorderseite klappen
Hörprobe Wird gespielt... Angehalten   Du hörst eine Hörprobe des Audible Hörbuch-Downloads.
Mehr erfahren

Dem Autor folgen

Robert F. Stärk
Ein Fehler ist aufgetreten. Wiederhole die Anfrage später noch einmal.

Java and the Java Virtual Machine: Definition, Verification, Validation Gebundene Ausgabe – Illustriert, 20. Juni 2001

Englisch Ausgabe von Robert F. Stärk (Autor), Joachim Schmid (Autor), Egon Börger (Autor)
3,5 von 5 Sternen 2 Sternebewertungen
Alle Formate und Editionen anzeigen
Preis
Neu ab Gebraucht ab
Kindle
48,68 €
— —
Gebundenes Buch, Illustriert
82,98 €
82,98 € 68,00 €
Taschenbuch
—
64,96 € —
Möchten Sie Ihre Elektro- und Elektronikgeräte kostenlos recyceln? Mehr erfahren

Erweitere deinen Einkauf

Previous page
  1. ISBN-10
    9783540420880
  2. ISBN-13
    978-3540420880
  3. Auflage
    2001.
  4. Herausgeber
    Springer
  5. Erscheinungstermin
    20. Juni 2001
  6. Sprache
    Englisch
  7. Abmessungen
    23.4 x 2.22 x 15.6 cm
  8. Seitenzahl der Print-Ausgabe
    391 Seiten
  9. Alle Details anzeigen
Next page

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)

Buchrückseite

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 for their work a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.

Produktinformation

  • ASIN ‏ : ‎ 3540420886
  • Herausgeber ‏ : ‎ Springer; 2001. Edition (20. Juni 2001)
  • Sprache ‏ : ‎ Englisch
  • Gebundene Ausgabe ‏ : ‎ 391 Seiten
  • ISBN-10 ‏ : ‎ 9783540420880
  • ISBN-13 ‏ : ‎ 978-3540420880
  • Abmessungen ‏ : ‎ 23.4 x 2.22 x 15.6 cm
  • Kundenrezensionen:
    3,5 von 5 Sternen 2 Sternebewertungen

Informationen zum Autor

Folge Autoren, um Neuigkeiten zu Veröffentlichungen und verbesserte Empfehlungen zu erhalten.

Robert F. Stärk

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Entdecke mehr Bücher des Autors, sieh dir ähnliche Autoren an, lies Autorenblogs und mehr

Kundenrezensionen

3,5 von 5 Sternen
3,5 von 5
2 globale Bewertungen
5 Sterne 0% (0%) 0%
4 Sterne
45%
3 Sterne
55%
2 Sterne 0% (0%) 0%
1 Stern 0% (0%) 0%

Spitzenbewertungen aus Deutschland

Es liegen 0 Rezensionen und 0 Bewertungen aus Deutschland vor

Spitzenrezensionen aus anderen Ländern

Alle Rezensionen ins Deutsche übersetzen
Patrick S Malloy
4,0 von 5 Sternen Good decomposition and building of topic
Kundenrezension aus den USA 🇺🇸 am 19. Juni 2015
Verifizierter Kauf
Missbrauch melden
Rezensionen auf Deutsch übersetzen
Cevat
3,0 von 5 Sternen buy something else
Kundenrezension aus den USA 🇺🇸 am 3. August 2019
Verifizierter Kauf
Missbrauch melden
Rezensionen auf Deutsch übersetzen