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)
(9783844398557) | Practical Student's Guide