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
Beteiligt:
Veröffentlicht:
[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2012
Vertrieb:
The Hague : OAPEN FOUNDATION
Umfang:
1 Online-Ressource (XXI, 412 p. p.)
Publikationstyp:
Sprache:
Englisch
Schlagworte:
ISBN:
9783866448858
Open Access Rechte:
Open Access