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