Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Java and the Java Virtual Machine

Name: Java and the Java Virtual Machine
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563479
Price: 56.89 EUR
Availability: InStock
Author: Roland Stärk
ISBN: 9783540420880

Definition, Verification, Validation

Roland Stärk

Joachim Schmid

Egon Börger

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01563479

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2001

This book provides a high-level description, together with a mathematical and an experimental analys... Vollständige Beschreibung

Libristo-Code: 01563479

139 b

56.89 € inkl. MwSt.

Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Graph Theory Reinhard Diestel

Hardcover

79.99 €

Graph Theory and Its Applications Gross

Hardcover

137.49 €

Clean Agile Robert C. Martin

Broschur

37.49 €

REST API Design Rulebook Mark Masse

Broschur

20.99 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Java and the Java Virtual Machine

Autor Roland Stärk, Joachim Schmid, Egon Börger

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 381

EAN 9783540420880

ISBN 3540420886

Libristo-Code 01563479

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 733

Abmessungen 155 x 235 x 29

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Webprogrammierung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert