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ț: 354.37 lei
Preț vechi: 442.96 lei
-20%
Puncte Express: 532
Preț estimativ în valută:
62.67€ • 72.43$ • 54.09£
62.67€ • 72.43$ • 54.09£
Carte disponibilă
Livrare economică 04-18 aprilie
Specificații
ISBN-13: 9783866445949
ISBN-10: 3866445946
Pagini: 224
Dimensiuni: 148 x 210 x 15 mm
Greutate: 0.33 kg
Editura: Karlsruher Institut für Technologie
ISBN-10: 3866445946
Pagini: 224
Dimensiuni: 148 x 210 x 15 mm
Greutate: 0.33 kg
Editura: Karlsruher Institut für Technologie