Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Image 1

£87.20

Springer Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Name: Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Brand: Springer
Price: 88.83 GBP
Availability: InStock

White

Functional Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 46 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £87 (28 days, 60.9%)

Price range: £87 - £89

Price levels: 2 different prices over 46 days

Description

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Product Specifications

Brand: Springer
Colour: White
Format: hardcover
ASIN: 9811041202
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 22 November 2017
Listed Since: 07 February 2017

Barcode

No barcode data available

Springer Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal System Verification: State-of the-Art and Future Trends

Formal Methods for Industrial Critical Systems: A Survey of Applications

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673)

Modern Formal Methods and Applications

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

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

Aviation Risk and Safety Management: Methods and Applications in Aviation Organizations (Management for Professionals)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Wiley Formal Methods Applied to Industrial Complex Systems

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

Formal Methods: State of the Art and New Directions

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

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

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

Design and Safety Assessment of Critical Systems

Advanced Formal Verification

Springer - Formal Methods and Models for System Design Book

Aviation Risk and Safety Management: Methods and Applications in Aviation Organizations (Management for Professionals)

Embedded Software Verification and Debugging (Embedded Systems)

Systems and Software Verification: Model-Checking Techniques and Tools

Springer Safety and Risk Modeling and Its Applications Book

Safety and Risk Modeling and Its Applications (Springer Series in Reliability Engineering)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

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