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% Nou
Puncte Express: 476
Preț estimativ în valută:
56.15€ • 65.94$ • 49.29£
56.15€ • 65.94$ • 49.29£
Carte disponibilă
Livrare economică 07-21 ianuarie 26
Preluare comenzi: 021 569.72.76
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