Kniha momentálne nie je na sklade
Viac o knihe
Emphasizing the necessity of reliable software, this book advocates for formal verification as a superior alternative to traditional black-box testing. It humorously contrasts conventional methods with the precision of formal verification, which mathematically proves software meets its specifications, effectively eliminating hidden errors. By adopting this approach, developers can create robust software that inspires confidence and prevents potential disasters, ultimately saving both time and mental strain.
Nákup knihy
Building Bulletproof Software: How Formal Verification Saves the Day, Bernard
- Jazyk
- Rok vydania
- 2024
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Building Bulletproof Software: How Formal Verification Saves the Day
- Podtitul
- DE
- Jazyk
- anglicky
- Autori
- Bernard
- Vydavateľ
- tredition
- Rok vydania
- 2024
- Väzba
- mäkká
- Počet strán
- 120
- ISBN13
- 9783384268020
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Emphasizing the necessity of reliable software, this book advocates for formal verification as a superior alternative to traditional black-box testing. It humorously contrasts conventional methods with the precision of formal verification, which mathematically proves software meets its specifications, effectively eliminating hidden errors. By adopting this approach, developers can create robust software that inspires confidence and prevents potential disasters, ultimately saving both time and mental strain.