Treffer: A Machine-Checked, Type-Safe Model of Java Concurrency
Titel:
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler / by Andreas Lochbihler
Verantwortlich:
Veröffentlicht:
Karlsruhe : KIT Scientific Publishing, 2012
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schlagworte:
ISBN:
9783866448858