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
Verification-based software-fault detection
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Software is used in many safety- and security-critical systems. Software development is, however, an...
Celý popis
Libristo kód: 01877599
?
172 b
172 b
1 719
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
/
Brožovaná
1 375
Kč
/
Brožovaná
1 789
Kč
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.
Informace o knize
Plný název
Verification-based software-fault detection
Autor
Christoph David Gladisch
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2014
Počet stran
292
EAN
9783866446762
Libristo kód
01877599
Nakladatelství
Karlsruher Institut Fur Technologie
Váha
467
Rozměry
170 x 244 x 15
