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