Java and the Java Virtual Machine: Definition, Verification, Validation
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
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.
Entdecke mehr vom Verlag
