Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Deductive verification of object-oriented software
Język
Angielski
Angielski
Książka
Miękka
Software systems play a central role in modern society, and their correctness is often crucially imp...
Cały opis
Kod Libristo: 01877574
?
141 b
141 b
240.33
zł
Dostępna u dostawcy
Wysyłamy za 15-20 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
Informacje o książce
Pełna nazwa
Deductive verification of object-oriented software
Autor
Benjamin Weiß
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2014
Liczba stron
292
EAN
9783866446236
Kod Libristo
01877574
Wydawnictwo
Karlsruher Institut Fur Technologie
Waga
467
Wymiary
170 x 244 x 16
