Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 19.08.2026 | Gültig für Spielzeug, Filme, Musik, Software, Games, Elektronik, Geschenke & Trends, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter osiander.de und in der Osiander App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android  | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
Produktbild: Java and the Java Virtual Machine

Java and the Java Virtual Machine Definition, Verification, Validation

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

20.06.2001

Abbildungen

X, 381 p. 13 illus. With online files/update.

Verlag

Springer Berlin

Seitenzahl

381

Maße (B/H)

15,5/23,5 cm

Gewicht

726 g

Sprache

Englisch

ISBN

978-3-540-42088-0

Beschreibung

Rezension

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)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

20.06.2001

Abbildungen

X, 381 p. 13 illus. With online files/update.

Verlag

Springer Berlin

Seitenzahl

381

Maße (B/H)

15,5/23,5 cm

Gewicht

726 g

Sprache

Englisch

ISBN

978-3-540-42088-0

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 6221 3454301
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Java and the Java Virtual Machine