£86.11

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 20 day(s) ago - will refresh soon

View at Amazon

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

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

£86 today · previous high £86 · all-time low £77

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

Historical
Generating forecast…
£86.11 £76.28 £78.42 £80.57 £82.71 £84.86 £87.00 26 April 2026 13 May 2026 31 May 2026 17 June 2026 05 July 2026

Price Distribution

Price distribution over 71 days • 2 price levels

Days at Price
Current Price
5 days 66 days · current 0 17 33 50 66 £77 £86 Days at Price

Price Analysis

Most common price: £86 (66 days, 93.0%)

Price range: £77 - £86

Price levels: 2 different prices over 71 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

£86.69 09 Jul 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 07 Jul 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

£54.03 15 Jul 2026
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)
95% match

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)

Springer

£42.08 17 Jul 2026
Fehlertoleranz in verteilten Realzeitsystemen: Anwendungsorientierte Techniken: 236 (Informatik-Fachberichte, 236)
95% match

Fehlertoleranz in verteilten Realzeitsystemen: Anwendungsorientierte Techniken: 236 (Informatik-Fachberichte, 236)

Springer

£46.95 08 May 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.74 11 Jul 2026
Formal Methods: State of the Art and New Directions
95% match

Formal Methods: State of the Art and New Directions

Springer

£73.87 25 Jun 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

£147.11 26 Jun 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)
95% 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
Fault-Tolerant Systems
95% match

Fault-Tolerant Systems

Morgan Kaufmann

£54.99 09 May 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

£40.95 08 Jul 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.03 07 Jul 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.96 10 Jul 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

£82.10 04 Jul 2026
Fault-Tolerant Design
95% match

Fault-Tolerant Design

Springer

£47.08 29 Jun 2026
Fault-Tolerant Systems
95% match

Fault-Tolerant Systems

Morgan Kaufmann

£58.40 07 May 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.82 15 Jul 2026
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
95% match

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Information Science Reference

£61.28 18 Jul 2026
Essential Spectrum-based Fault Localization
95% match

Essential Spectrum-based Fault Localization

Springer

£74.20 13 Jul 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 13 Jul 2026
System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches: Volume 2 Knowledge-Based and Fault-Tolerant Techniques Proceedings of ... Greece, August 31–September 3, 1986: 002
95% match

System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches: Volume 2 Knowledge-Based and Fault-Tolerant Techniques Proceedings of ... Greece, August 31–September 3, 1986: 002

Springer

£164.84 08 May 2026
Fundamental Approaches to Software Engineering
95% match

Fundamental Approaches to Software Engineering

Saint Philip Street Press

£50.95 12 Jun 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

£77.59 09 Jul 2026
The Operational Excellence Library; Mastering Fault Tree Analysis
95% match

The Operational Excellence Library; Mastering Fault Tree Analysis

£75.97 11 Jun 2026