*Result*: A Machine-Checked, Type-Safe Model of Java Concurrency
*Title*:
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
*Author/editor-in-chief*:
*Publication*:
[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2012
*Distribution*:
The Hague : OAPEN FOUNDATION
*Physical description scale*:
1 Online-Ressource (XXI, 412 p. p.)
*Format*:
*Language*:
*eng*
*Subject Added Keywords*:
*ISBN*:
9783866448858
*oa_rights*:
Open Access