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
Preț estimativ în valută:
56.10€ • 66.89$ • 48.66£
56.10€ • 66.89$ • 48.66£
Carte disponibilă
Livrare economică 23 februarie-09 martie
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