Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction » książka
topmenu
Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction
ISBN-13: 9783866446236 / Angielski / Miękka / 2014 / 292 str.
Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction
ISBN-13: 9783866446236 / Angielski / Miękka / 2014 / 292 str.
cena 229,37
(netto: 218,45 VAT: 5%)
Najniższa cena z 30 dni: 226,86
(netto: 218,45 VAT: 5%)
Najniższa cena z 30 dni: 226,86
Termin realizacji zamówienia:
ok. 16-18 dni roboczych.
ok. 16-18 dni roboczych.
Darmowa dostawa!
Kategorie:
Kategorie BISAC:
Wydawca:
Karlsruher Institut Fur Technologie
Język:
Angielski
ISBN-13:
9783866446236
Rok wydania:
2014
Dostępne języki:
Angielski
Ilość stron:
292
Waga:
0.47 kg
Wymiary:
24.424.4 x 17.024.4 x 17.0 x 1
Oprawa:
Miękka
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
