£108.57

Wiley Industrial Use of Formal Methods: Formal Verification

Price data last checked 18 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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

Historical
Generating forecast…
£110.93 £108.33 £108.90 £109.47 £110.03 £110.60 £111.17 26 April 2026 14 May 2026 01 June 2026 19 June 2026 07 July 2026

Price Distribution

Price distribution over 73 days • 2 price levels

Days at Price
Current Price
53 days · current 20 days 0 13 27 40 53 £109 £111 Days at Price

Price Analysis

Most common price: £109 (53 days, 72.6%)

Price range: £109 - £111

Price levels: 2 different prices over 73 days

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
Domain
Amazon UK
Release Date
15 June 2012
Listed Since
21 April 2012

Barcode

No barcode data available

Similar Products You Might Like

Wiley Formal Methods Applied to Industrial Complex Systems
96% match

Wiley Formal Methods Applied to Industrial Complex Systems

Wiley

£93.49 19 Jul 2026
Verification, Validation and Testing in Software Engineering
95% match

Verification, Validation and Testing in Software Engineering

IGI Global

£85.64 27 Jun 2026
Formal Methods for Industrial Critical Systems: A Survey of Applications
95% match

Formal Methods for Industrial Critical Systems: A Survey of Applications

John Wiley & Sons Inc

£73.99 04 Jul 2026
Certifiable Software Applications 1: Main Processes
95% match

Certifiable Software Applications 1: Main Processes

Elsevier

£93.39 07 May 2026
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
95% match

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

Wiley

£90.63 10 Jul 2026
Certifiable Software Applications 3: Downward Cycle
95% match

Certifiable Software Applications 3: Downward Cycle

Elsevier

£114.20 23 Jul 2026
Formal System Verification: State-of the-Art and Future Trends
95% match

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

Springer

£88.23 13 Jun 2026
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
95% match

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

Springer

£61.80 30 Jun 2026
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)
95% match

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

Springer

£53.10 13 Jul 2026
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)
95% match

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

£77.55 18 Jun 2026
Practical Design Verification
95% match

Practical Design Verification

Cambridge University Press

£19.99 18 Jul 2026
Wiley Independent Verification and Validation Software Book
94% match

Wiley Independent Verification and Validation Software Book

Wiley

£73.57 25 Jul 2026
Software Verification and Validation for Practitioners and Managers
94% match

Software Verification and Validation for Practitioners and Managers

Artech House

£56.25 14 Jul 2026
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
94% match

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer

£84.31 09 Jul 2026
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
94% match

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

Springer

£110.00 10 Jul 2026
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
94% match

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

Springer

£143.14 10 Jul 2026
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
94% match

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

Springer

£77.59 09 Jul 2026
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings: 14846 (Lecture Notes in Computer Science, 14846)
94% match

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings: 14846 (Lecture Notes in Computer Science, 14846)

Springer

£92.22 22 Jul 2026
System Verification: Proving the Design Solution Satisfies the Requirements
94% match

System Verification: Proving the Design Solution Satisfies the Requirements

Academic Press

£71.39 21 Jun 2026
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
94% match

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

Springer

£40.95 08 Jul 2026
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)
94% match

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

Springer

£41.42 17 Jul 2026
Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Foundations and Trends (R) in Programming Languages)
94% match

Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Foundations and Trends (R) in Programming Languages)

now publishers Inc

Price unavailable
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
94% match

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Springer

£88.19 16 Jul 2026
Formal Methods: State of the Art and New Directions
94% match

Formal Methods: State of the Art and New Directions

Springer

£73.87 25 Jun 2026