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
Carte disponibilă
Livrare economică 11-25 mai
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