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