A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

en Limba Engleză Paperback – 3 iun 2014

Preț vechi: 496^.28 lei
-20% Nou

Puncte Express: 596

:
75^.98€ • 80^.26$ • 63^.52£

Livrare economică 11-25 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783866448858
ISBN-10: 3866448856
Pagini: 436
Dimensiuni: 148 x 210 x 27 mm
Greutate: 0.52 kg
Editura: Karlsruher Institut für Technologie