We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£93.49
Wiley Formal Methods Applied to Industrial Complex Systems
illustrations (black and white)
Price data last checked 52 day(s) ago - refreshing...
Price History & Forecast
Last 39 days • 39 data points (No recent data available)
Price Distribution
Price distribution over 39 days • 4 price levels
Price Analysis
Most common price: £122 (19 days, 48.7%)
Price range: £93 - £122
Price levels: 4 different prices over 39 days
Description
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
- 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
Similar Products You Might Like
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Wiley
Formal Methods for Industrial Critical Systems: A Survey of Applications
John Wiley & Sons Inc
Industrial Use of Formal Methods: Formal Verification
Wiley
Formal Methods in Manufacturing (Industrial Information Technology)
CRC Press
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Springer
Monte Carlo Applications in Systems Engineering
Wiley
Springer - Formal Methods and Models for System Design Book
Springer
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification (Iste)
Wiley
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Process Control Design for Industrial Applications (Systems and Industrial Engineering - Robotics)
Wiley
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Springer
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Springer
Statistical Monitoring of Complex Multivariate Processes: With Applications in Industrial Process Control (Statistics in Practice)
Wiley
Building and Solving Mathematical Programming Models in Engineering and Science (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Formal Methods: State of the Art and New Directions
Springer
Wiley System Requirements Engineering - SysML Supported Method
Wiley
Industrial Control Systems Design
Wiley
Model-based Systems Architecting: Using CESAM to Architect Complex Systems
Metamodelling for Software Engineering
Wiley
Advanced Industrial Control Technology
William Andrew
Design and Safety Assessment of Critical Systems
CRC Press