From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Autor Daniel Wasserraben Limba Engleză Paperback – 18 aug 2014
Preț: 350.92 lei
Preț vechi: 438.65 lei
-20%
Puncte Express: 526
Preț estimativ în valută:
62.04€ • 73.97$ • 53.81£
62.04€ • 73.97$ • 53.81£
Carte disponibilă
Livrare economică 23 februarie-09 martie
Specificații
ISBN-13: 9783866445949
ISBN-10: 3866445946
Pagini: 224
Dimensiuni: 148 x 210 x 15 mm
Greutate: 0.27 kg
Editura: Karlsruher Institut für Technologie
ISBN-10: 3866445946
Pagini: 224
Dimensiuni: 148 x 210 x 15 mm
Greutate: 0.27 kg
Editura: Karlsruher Institut für Technologie