
Java and the Java Virtual Machine: Definition, Verification, Validation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"Java and the Java Virtual Machine: Definition, Verification, Validation" von Egon Börger bietet eine umfassende Analyse der Java-Programmiersprache und ihrer virtuellen Maschine (JVM). Das Buch legt einen besonderen Fokus auf die präzise formale Definition der Sprache und der JVM, was für die Verifikation und Validierung von Java-Programmen entscheidend ist. Es behandelt die theoretischen Grundlagen und Methoden zur Spezifikation und Implementierung von Programmiersprachen sowie deren Ausführungsumgebungen. Durch detaillierte Erklärungen und Beispiele wird gezeigt, wie man Korrektheitseigenschaften von Java-Programmen beweisen kann. Damit richtet sich das Buch an Informatikforscher, Studierende im Bereich der formalen Methoden sowie Softwareentwickler, die ein tieferes Verständnis für die zugrunde liegenden Prinzipien von Java erlangen möchten.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover -
- Erschienen 2015
- Sybex
- Hardcover
- 264 Seiten
- Erschienen 2013
- Springer
- Taschenbuch
- 502 Seiten
- BMU Verlag
- Hardcover
- 389 Seiten
- Erschienen 2018
- Carl Hanser Verlag GmbH & C...
- Hardcover
- 458 Seiten
- Erschienen 2000
- Data Becker GmbH + Co.Kg