Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Automated Theorem Proving in Software Engineering (Paperback, Softcover reprint of hardcover 1st ed. 2001) Loot Price: R1,597

Discovery Miles 15 970

Repayment Terms: R150 pm x 12*

Add to cart

Automated Theorem Proving in Software Engineering (Paperback, Softcover reprint of hardcover 1st ed. 2001): D. Loveland

Automated Theorem Proving in Software Engineering (Paperback, Softcover reprint of hardcover 1st ed. 2001)

D. Loveland; Johann M. Schumann

(sign in to rate)

Loot Price R1,597 Discovery Miles 15 970 | Repayment Terms: R150 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	December 2010
First published:	2001
Foreword by:	D. Loveland
Authors:	Johann M. Schumann
Dimensions:	235 x 155 x 13mm (L x W x T)
Format:	Paperback
Pages:	228
Edition:	Softcover reprint of hardcover 1st ed. 2001
ISBN-13:	978-3-642-08759-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Internet > Network computers Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-642-08759-0
Barcode:	9783642087592