A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Autor Andreas Lochbihler
3 iun 2014
Paperback
Preț: 397.03 lei 496.28 lei
3-5 săpt.
-20%
Cărți de Andreas Lochbihler