Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Autor Benjamin Weißen Limba Engleză Paperback – 18 aug 2014
Preț: 317.34 lei
Preț vechi: 396.67 lei
-20%
Puncte Express: 476
Carte disponibilă
Livrare economică 20 iunie-04 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783866446236
ISBN-10: 3866446233
Pagini: 292
Dimensiuni: 170 x 240 x 16 mm
Greutate: 0.47 kg
Editura: Karlsruher Institut für Technologie
ISBN-10: 3866446233
Pagini: 292
Dimensiuni: 170 x 240 x 16 mm
Greutate: 0.47 kg
Editura: Karlsruher Institut für Technologie