Description: Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Johann M., ISBN 3540679898, ISBN-13 9783540679899, Brand New, Free P&P in the UK 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.
Price: 63.23 GBP
Location: Castle Donington
End Time: 2024-12-28T19:02:46.000Z
Shipping Cost: 20.29 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Book Title: Automated Theorem Proving in Software Engineering
Number of Pages: 228 Pages
Language: English
Publication Name: Automated Theorem Proving in Software Engineering
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2001
Subject: Technology, Computer Science
Item Height: 235 mm
Item Weight: 1170 g
Type: Textbook
Author: Johann M. Schumann
Item Width: 155 mm
Format: Hardcover
