Bild 1 von 1

Standardbild

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machi - Bild 1 von 1

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler von Andreas Lochbihler (2014, Taschenbuch)

buch-mimpf (20394)

100% positive Bewertungen

Preis:

€ 41,00

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Sa, 27. Sep - Do, 2. Okt

Rücknahme:

1 Monat Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Titel: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler, Einband: Taschenbuch, Autor: Andreas Lochbihler, Verlag: Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie, Sprache: Englisch, Seiten: 436, Maße: 210x148x27 mm, Gewicht: 628 g, Verkäufer: buch-mimpf.

Sammeln Sie 41 Punkte | Mehr erfahrenzu eBay Plus-Punkten - wird in neuem Fenster oder Tab geöffnet

Über dieses Produkt

Produktinformation

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.