A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
(9783866448858)
Preis von (3 Angebote)41.00 EUR
Weitere Informationen
(9783866448858)
(9781849686327)
(9783847308935) | Rabah Mastering Virtualization, Mastering Virtualization