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

£90.63

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

Name: Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Brand: Wiley
Price: 90.63 GBP
Availability: InStock

illustrations (black and white)

Architecture & Microprocessors

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

£91 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 76 days · 76 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 76 days • 1 price levels

Days at Price

Price Analysis

Most common price: £91 (76 days, 100.0%)

Price range: £91 - £91

Price levels: 1 different prices over 76 days

Description

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Product Specifications

Brand: Wiley
Model: illustrations (black and white)
Format: hardcover
ASIN: 1848217099
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 04 July 2014
Listed Since: 03 May 2014

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Wiley Formal Methods Applied to Industrial Complex Systems

Formal Methods for Industrial Critical Systems: A Survey of Applications

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

Industrial Use of Formal Methods: Formal Verification

Springer - Formal Methods and Models for System Design Book

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: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings: 12475 (Lecture Notes in Computer Science, 12475)

Complex Systems Design & Management Asia: Smart Transportation: Proceedings of the Third Asia-Pacific Conference on Complex Systems Design & ... in Intelligent Systems and Computing, 878)

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

Formal Methods: State of the Art and New Directions

Modeling in Event-B: System and Software Engineering

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

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

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

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

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)

Modern Formal Methods and Applications

Modern Formal Methods and Applications

Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

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

Formal Methods in Manufacturing (Industrial Information Technology)

Complex Systems Design & Management: Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M Paris 2019

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure