• Anglický jazyk

Automated Theorem Proving in Software Engineering

Autor: Johann M. Schumann

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... Viac o knihe

Na objednávku, dodanie 2-4 týždne

49.49 €

bežná cena: 54.99 €

O knihe

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.

  • Vydavateľstvo: Springer Berlin Heidelberg
  • Rok vydania: 2010
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783642087592

Generuje redakčný systém BUXUS CMS spoločnosti ui42.