A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Lochbihler, Andreas
ISBN 10:
3866448856 ISBN 13:
9783866448858
Verlag: KIT Scientific Publishing, 2012
Sprache: Englisch
Zustand: Neu
Softcover
Verkauft von Ria Christie Collections, Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer seit 25. März 2015
Neu - Softcover
Zustand: Neu
Preis:
EUR 44,07
Währung umrechnen
EUR 5,70
für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen