Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Autor Benjamin Weißen Limba Engleză Paperback – 18 aug 2014
Preț: 331.23 lei
Preț vechi: 414.05 lei
-20% Nou
Puncte Express: 497
Preț estimativ în valută:
63.38€ • 67.78$ • 52.85£
63.38€ • 67.78$ • 52.85£
Carte disponibilă
Livrare economică 27 martie-10 aprilie
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.5 kg
Editura: Karlsruher Institut für Technologie
ISBN-10: 3866446233
Pagini: 292
Dimensiuni: 170 x 240 x 16 mm
Greutate: 0.5 kg
Editura: Karlsruher Institut für Technologie