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.16€ • 65.64$ • 48.76£
56.16€ • 65.64$ • 48.76£
Carte disponibilă
Livrare economică 30 ianuarie-13 februarie
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