£76.18

Springer Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)

Price data last checked 101 day(s) ago - refreshing...

View at Amazon

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

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

£76 today · usual range £0–£0 · best ever £55

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

Historical
Generating forecast...
£87.31 £51.60 £59.39 £67.18 £74.98 £82.77 £90.56 09 June 2024 13 November 2024 19 April 2025 23 September 2025 28 February 2026

Price Distribution

Price distribution over 630 days • 4 price ranges

Days at Price
Current Price
3 days 409 days 124 days · current 94 days 0 102 205 307 409 £55-61 £68-74 £74-81 £81-87 Days at Price

Price Analysis

Most common range: £68-74 (409 days, 64.9%)

Price range: £55 - £87

Price levels: 4 price ranges over 630 days

Description

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
07 September 1994
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS: 19 (Series On Software Engineering And Knowledge Engineering)
96% match

SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS: 19 (Series On Software Engineering And Knowledge Engineering)

World Scientific Publishing Company

£84.78 08 Mar 2026
Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25–27, 1991 Proceedings: 283 (Informatik-Fachberichte, 283)
96% match

Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25–27, 1991 Proceedings: 283 (Informatik-Fachberichte, 283)

Springer

£83.26 05 Mar 2026
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)
96% match

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)

Springer

£53.88 18 Apr 2026
Intelligent Algorithms in Software Engineering: Proceedings of the 9th Computer Science On-line Conference 2020, Volume 1: 1224 (Advances in Intelligent Systems and Computing, 1224)
95% match

Intelligent Algorithms in Software Engineering: Proceedings of the 9th Computer Science On-line Conference 2020, Volume 1: 1224 (Advances in Intelligent Systems and Computing, 1224)

Springer

£106.22 27 Mar 2026
Formal Methods: State of the Art and New Directions
95% match

Formal Methods: State of the Art and New Directions

Springer

£73.87 06 Feb 2026
Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)
95% match

Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)

Springer

£149.64 07 Feb 2026
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
95% match

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

Springer

£39.21 07 Mar 2026
Fehlertolerierende Rechensysteme: 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984: 84 (Informatik-Fachberichte, 84)
95% match

Fehlertolerierende Rechensysteme: 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984: 84 (Informatik-Fachberichte, 84)

Springer

£79.01 05 Mar 2026
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)
95% match

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)

Springer

£82.18 12 Mar 2026
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
95% match

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

Springer

£83.52 27 Feb 2026
Fault-Tolerant Design
95% match

Fault-Tolerant Design

Springer

£46.37 13 Feb 2026
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)
95% match

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

Springer

£44.78 19 Apr 2026
Essential Spectrum-based Fault Localization
95% match

Essential Spectrum-based Fault Localization

Springer

£74.20 11 Apr 2026
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)
95% match

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Springer

£46.51 04 Apr 2026
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
95% match

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

Springer

£78.84 08 Mar 2026
The Operational Excellence Library; Mastering Fault Tree Analysis
95% match

The Operational Excellence Library; Mastering Fault Tree Analysis

£74.97 07 Jan 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.19 28 Feb 2026
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science, 7892)
95% match

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science, 7892)

Springer

£41.51 07 Mar 2026
Feature-Oriented Software Product Lines: Concepts and Implementation
95% match

Feature-Oriented Software Product Lines: Concepts and Implementation

Springer

£46.53 08 Mar 2026
Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach
95% match

Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach

Springer

£74.57 03 Apr 2026
Handbook of Software Fault Localization: Foundations and Advances
95% match

Handbook of Software Fault Localization: Foundations and Advances

Wiley-Blackwell

£47.36 14 Feb 2026
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems: 283 (The Springer International Series in Engineering and Computer Science, 283)
95% match

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems: 283 (The Springer International Series in Engineering and Computer Science, 283)

Springer

£120.87 06 Apr 2026
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)
95% match

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)

Springer

£85.57 14 Feb 2026
Stable Design Patterns for Software and Systems
95% match

Stable Design Patterns for Software and Systems

CRC Press

£97.80 10 Mar 2026