Industrial Use of Formal Methods: Formal Verification - Image 1

£110.93

Wiley Industrial Use of Formal Methods: Formal Verification

Name: Industrial Use of Formal Methods: Formal Verification
Brand: Wiley
Price: 119.2 GBP
Availability: InStock

Children's Books

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 40 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £108 (17 days, 42.5%)

Price range: £108 - £119

Price levels: 5 different prices over 40 days

Description

Product Description At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain.This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example). About the Author Jean-Louis Boulanger is an Independent Safety Assessor (ISA) in the railway domain for software.

Product Specifications

Brand: Wiley
Format: Hardcover
ASIN: 1848213638
Category: Books > Subjects > Children's Books
Domain: Amazon UK
Release Date: 15 June 2012
Listed Since: 21 April 2012

Barcode

No barcode data available

Wiley Industrial Use of Formal Methods: Formal Verification

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 Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))

Certifiable Software Applications 1: Main Processes

Formal Methods for Industrial Critical Systems: A Survey of Applications

Certifiable Software Applications 3: Downward Cycle

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

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

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

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

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

Verification, Validation and Testing in Software Engineering

Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification (Iste)

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

Formal Methods in Manufacturing (Industrial Information Technology)

Formal Methods in Computer Science (Textbooks in Mathematics)

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

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)

Wiley System Requirements Engineering - SysML Supported Method

Springer - Formal Methods and Models for System Design Book

Formal Verification: An Essential Toolkit for Modern VLSI Design

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

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