Kupuješ přesně tu knihu, která je na fotce
Automated Theorem Proving in Software Engineering
Parametry
- 228 stránek
- 8 hodin čtení
Více o knize
Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.
Nákup knihy
Automated Theorem Proving in Software Engineering, D. Loveland, Johann M. Ph. Schumann
- Jazyk
- Rok vydání
- 2001
- Vazba
- (pevná),
- Stav knihy
- Dobrá
- Cena
- 779 Kč
Doručení
Platební metody
Nikdo zatím neohodnotil.
- Titul
- Automated Theorem Proving in Software Engineering
- Jazyk
- anglicky
- Vydavatel
- Springer
- Rok vydání
- 2001
- Vazba
- pevná
- Počet stran
- 228
- ISBN10
- 3540679898
- ISBN13
- 9783540679899
- Série
- Kategorie
- Štítky
- Architektura, Západní Evropa, Umělá inteligence, Logika, Operační systémy, Vývoj softwaru, Informační systémy
- Anotace
- Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.