Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual...

Ø 0.0

0 Bewertungen

41,00 €

Titel: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler | Medium: Taschenbuch | Autor: Andreas Lochbihler | Einband: Kartoniert / Broschiert | Inhalt: Kartoniert / Broschiert | Sprache: Englisch | Seiten: 436 | Maße: 210 x 148 x 27 mm | Erschienen: 04.06.2014 | Anbieter: Anja's.

Jetzt bei Ebay:

Publikationsname:

A Machine-Checked, Type-Safe Model of Java Concurrency : Language
Autor:

Andreas Lochbihler
Produktart:

Mathematik
Erscheinungsjahr:

2014
Sprache:

Englisch
Anzahl der Seiten:

436
Marke:

Karlsruher Institut für Technologie, Karlsruher Institut für Tech
Hersteller:

Karlsruher Institut für Technologie, Karlsruher Institut für Tech
Verlag:

Karlsruher Institut für Technologie, Karlsruher Institut für Tech
Format:

Taschenbuch
Genre:

Mathematik, Naturwissenschaften, Technik, Medizin
Schlagworte:

Programmiersprachen, Programmier- und Skriptsprachen, allgemein,
Herstellungsland und -region:

Deutschland
ISBN:

3866448856

Standardversand:

Deutsche Post Brief 1,99 EUR - Lieferung zwischen 24. July 2025 und 26. July 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 22. July 2025 und 28. July 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