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

en Limba Engleză Paperback – 4 iun 2014

Preț vechi: 510^.94 lei
-20% Nou

Puncte Express: 613

:
78^.23€ • 81^.26$ • 64^.98£

Livrare economică 11-25 ianuarie 25

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.63 kg
Editura: Karlsruher Institut für Technologie