Automated Theorem Proving in Software Engineering
Kurzinformation
Sprache:
Englisch
ISBN:
3540679898
Verlag:
Seitenzahl:
228
Auflage:
-
Erschienen:
2001-06-20
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Automated Theorem Proving in Software Engineering
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. von Schumann, Johann M.
Produktdetails
Einband:
Gebunden
Seitenzahl:
228
Erschienen:
2001-06-20
Sprache:
Englisch
EAN:
9783540679899
ISBN:
3540679898
Verlag:
Gewicht:
508 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Neu
80,24 €
Entdecke mehr zum Thema
