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

£76.47

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: 76.47 GBP
Availability: InStock

Reference

This is the most expensive it has ever been. Walk away.

£76 today · previous high £76 · all-time low £76

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

Historical

Generating forecast...

Price Distribution

Price distribution over 69 days • 1 price levels

Days at Price

Price Analysis

Most common price: £76 (69 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 69 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: paperback
ASIN: 3319839802
Category: Books > Subjects > Computing & Internet > Microsoft Windows > Microsoft > Access > Reference
Domain: Amazon UK
Release Date: 03 May 2018
Listed Since: 17 August 2018

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Springer - Formalization of Complex Analysis and Matrix Theory

Computer Aided Verification

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

Practical Design 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

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

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

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)

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

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)

Post-Silicon and Runtime Verification for Modern Processors

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

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

Verification, Validation and Testing in Software Engineering

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