Provably Correct Systems (NASA Monographs in Systems and Software Engineering) - Image 1

£75.34

Springer Provably Correct Systems (NASA Monographs in Systems and Software Engineering)

Name: Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
Brand: Springer
Price: 75.34 GBP
Availability: InStock

Access

This is the usual price. Wait for it to drop, or tell us your number.

£75 today · usual range £0–£0 · best ever £71

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 595 days • 595 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 595 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £75 (152 days, 25.5%)

Price range: £71 - £76

Price levels: 5 different prices over 595 days

Description

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: An historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319486276
Category: Books > Subjects > Computing & Internet > Microsoft Windows > Microsoft > Access
Domain: Amazon UK
Release Date: 10 March 2017
Listed Since: 22 September 2016

Barcode

No barcode data available

Springer Provably Correct Systems (NASA Monographs in Systems and Software Engineering)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Formalization of Complex Analysis and Matrix Theory

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

System Verification: Proving the Design Solution Satisfies the Requirements

Professional Verification: A Guide to Advanced Functional Verification

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

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

Systems and Software Verification: Model-Checking Techniques and Tools

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 2404 (Lecture Notes in Computer Science, 2404)

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in Computer Science, 5643)

Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends® in Programming Languages)

Post-Silicon and Runtime Verification for Modern Processors

Verification, Validation and Testing in Software Engineering

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Principles of Functional Verification

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114)

Verification of Digital and Hybrid Systems: 170 (NATO ASI Subseries F:, 170)

Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)

Standardized Functional Verification

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring