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ț: 410.16 lei 512.70 lei
3-5 săpt.
-20%
Cărți de Andreas Lochbihler