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 > Professional & Technical > Technology: general issues > Engineering: general

Buy Now

Formal Methods for Industrial Critical Systems - A Survey of Applications (Paperback, New) Loot Price: R2,609

Discovery Miles 26 090

Repayment Terms: R245 pm x 12*

Add to cart

Formal Methods for Industrial Critical Systems - A Survey of Applications (Paperback, New): S Gnesi

Formal Methods for Industrial Critical Systems - A Survey of Applications (Paperback, New)

S Gnesi

(sign in to rate)

Loot Price R2,609 Discovery Miles 26 090 | Repayment Terms: R245 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.

Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, "Formal Methods for Industrial Critical Systems: A Survey of Applications" presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

General

Imprint:	John Wiley & Sons
Country of origin:	United States
Release date:	December 2012
First published:	December 2012
Authors:	S Gnesi
Dimensions:	232 x 156 x 16mm (L x W x T)
Format:	Paperback
Pages:	292
Edition:	New
ISBN-13:	978-0-470-87618-3
Categories:	Books > Professional & Technical > Technology: general issues > Engineering: general Books > Computing & IT > General theory of computing > Systems analysis & design Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > General Promotions
LSN:	0-470-87618-2
Barcode:	9780470876183