£93.34

Wiley Formal Methods Applied to Industrial Complex Systems

Name: Wiley Formal Methods Applied to Industrial Complex Systems
Brand: Wiley
Price: 93.34 GBP
Availability: InStock

illustrations (black and white)

Children's Books

It has never been this cheap. We have no record of a lower price.

£93 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 19 days • 19 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 19 days • 1 price levels

Days at Price

Price Analysis

Most common price: £93 (19 days, 100.0%)

Price range: £93 - £93

Price levels: 1 different prices over 19 days

Description

Gain practical insights into the application of formal methods within large-scale industrial environments. This book provides a summary of experience regarding the use of proof and model-checking techniques for complex systems. Instead of theoretical abstraction, the content focuses on real-world examples from critical sectors including the railway, aeronautics, and automotive industries. Written by professionals currently involved in the creation and evaluation of safety-critical system software, this guide offers a perspective rooted in active industry practice. Readers can explore the use of specific tools such as SCADE, the B-Method, ControlBuild, and Matelo. By utilizing the knowledge of experts from within the industry, this book helps bridge the gap between academic theory and the practical requirements of developing reliable, high-stakes software in modern engineering.

Key Features

Provides real examples of industrial uses for formal methods like SCADE and the B-Method in complex system development.

Covers diverse industrial sectors including aeronautics, railways, and the automotive industry to show broad application.

Focuses on practical experience with proof and model-checking techniques used in modern engineering projects.

Developed by professionals actively involved in the creation and evaluation of safety-critical system software.

Includes technical insights into specific tools such as ControlBuild and Matelo for industrial applications.

Product Specifications

Brand: Wiley
Model: illustrations (black and white)
Format: hardcover
ASIN: 1848216327
Category: Books > Subjects > Children's Books
Domain: Amazon UK
Release Date: 01 July 2014
Listed Since: 27 April 2013

Barcode

No barcode data available

Wiley Formal Methods Applied to Industrial Complex Systems

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))

Formal Methods for Industrial Critical Systems: A Survey of Applications

Industrial Use of Formal Methods: Formal Verification

Springer - Formal Methods and Models for System Design Book

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings: 1954 (Lecture Notes in Computer Science, 1954)

Formal Methods: State of the Art and New Directions

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)

Formal Methods in Manufacturing (Industrial Information Technology)

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

Springer Advances in Design and Specification Languages Book

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer Languages for System Specification - UML & SystemC

A Practical Guide to SysML: The Systems Modeling Language (The MK/OMG Press)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Model-Driven and Software Product Line Engineering: 733 (Iste)

Springer System Specification and Design Languages FDL 2010

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)