Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Deductive verification of object-oriented software
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Software systems play a central role in modern society, and their correctness is often crucially imp...
Celý popis
Libristo kód: 01877574
?
141 b
141 b
1 406
Kč
včetně DPH
Skladem u dodavatele
Odesíláme za 15-20 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
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.
Informace o knize
Plný název
Deductive verification of object-oriented software
Autor
Benjamin Weiß
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2014
Počet stran
292
EAN
9783866446236
Libristo kód
01877574
Nakladatelství
Karlsruher Institut Fur Technologie
Váha
467
Rozměry
170 x 244 x 16
