A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machi
Ø 0.0
0 Bewertungen
41,00 €
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.
Jetzt bei Ebay:
-
Seiten:436
-
Einband:Taschenbuch
-
Marke:Karlsruher Institut Für Technologie, Karlsruher Institut Für T...
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:A Machine-Checked, Type-Safe Model of Java Concurrency : Langu...
-
Buchtitel:A Machine-Checked, Type-Safe Model of Java Concurrency : Langu...
-
Untertitel:Keine Angabe
-
Film-/Fernseh-Titel:Keine Angabe
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
ISBN:9783866448858
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2014, 2012
-
Anzahl der Seiten:436 Seiten
-
Autor:Andreas Lochbihler
-
Verlag:Karlsruher Institut für Technologie, Karlsruher Institut FR Technologie (Kit)
-
Publikationsname:A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
-
Sprache:Englisch
-
Gewicht:580 g
-
Standardversand:DHL Kleinpaket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 3,99 EUR - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere
