Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

en Limba Engleză Paperback – 18 aug 2014

Preț vechi: 414^.05 lei
-20% Nou

Puncte Express: 497

:
63^.39€ • 65^.78$ • 52^.98£

Livrare economică 24 februarie-10 martie

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