£31.29

Springer Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings: 4763 (Lecture Notes in Computer Science, 4763)

23171181

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

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.

£31 today · previous high £31 · all-time low £25

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

Historical
Generating forecast…
£31.29 £24.46 £25.95 £27.44 £28.93 £30.42 £31.91 09 May 2026 18 May 2026 27 May 2026 05 June 2026 15 June 2026

Price Distribution

Price distribution over 38 days • 3 price levels

Days at Price
Current Price
27 days 7 days 4 days · current 0 7 14 20 27 £25 £26 £31 Days at Price

Price Analysis

Most common price: £25 (27 days, 71.1%)

Price range: £25 - £31

Price levels: 3 different prices over 38 days

Description

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
20 September 2007
Listed Since
17 September 2007

Barcode

No barcode data available

Similar Products You Might Like

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
80% match

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Springer

£113.21 05 Aug 2026
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
80% match

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Springer

£109.90 05 Aug 2026
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings: 4735 (Lecture Notes in Computer Science, 4735)
80% match

Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings: 4735 (Lecture Notes in Computer Science, 4735)

Springer

£80.62 07 Aug 2026
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)
80% match

Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)

Springer

£79.00 04 Aug 2026
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)
80% match

Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)

Springer

£96.39 04 Aug 2026
Computational Science and Its Applications - ICCSA 2007: International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II: 4706 (Lecture Notes in Computer Science, 4706)
80% match

Computational Science and Its Applications - ICCSA 2007: International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II: 4706 (Lecture Notes in Computer Science, 4706)

Springer

£60.98 07 Aug 2026
Rough Sets and Current Trends in Computing: 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings: 4259 (Lecture Notes in Computer Science, 4259)
80% match

Rough Sets and Current Trends in Computing: 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings: 4259 (Lecture Notes in Computer Science, 4259)

Springer

£42.90 04 Aug 2026
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000)
80% match

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000)

Springer

£77.59 05 Aug 2026
Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)
79% match

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)

Springer

£107.78 05 Jun 2026
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II: 14934 (Lecture Notes in Computer Science, 14934)
79% match

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II: 14934 (Lecture Notes in Computer Science, 14934)

Springer

£114.93 03 Aug 2026
Foundations of Real-Time Computing: Scheduling and Resource Management: 141 (The Springer International Series in Engineering and Computer Science, 141)
79% match

Foundations of Real-Time Computing: Scheduling and Resource Management: 141 (The Springer International Series in Engineering and Computer Science, 141)

Springer

£124.94 06 Jun 2026
Scheduling Computer and Manufacturing Processes
79% match

Scheduling Computer and Manufacturing Processes

Springer

£108.92 05 Jun 2026
Temporally Distributed Symptoms in Technical Diagnosis: 517 (Lecture Notes in Computer Science, 517)
79% match

Temporally Distributed Symptoms in Technical Diagnosis: 517 (Lecture Notes in Computer Science, 517)

Springer

£44.99 05 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
79% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
Simulation and Modeling Methodologies, Technologies and Applications: 7th International Conference, SIMULTECH 2017 Madrid, Spain, July 26–28, 2017 ... in Intelligent Systems and Computing, 873)
79% match

Simulation and Modeling Methodologies, Technologies and Applications: 7th International Conference, SIMULTECH 2017 Madrid, Spain, July 26–28, 2017 ... in Intelligent Systems and Computing, 873)

Springer

£108.01 04 Aug 2026
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
79% match

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Springer

£56.55 03 Aug 2026
AMST'99 - Advanced Manufacturing Systems and Technology: Proceedings of the Fifth International Conference: 406 (CISM International Centre for Mechanical Sciences, 406)
79% match

AMST'99 - Advanced Manufacturing Systems and Technology: Proceedings of the Fifth International Conference: 406 (CISM International Centre for Mechanical Sciences, 406)

Springer

£120.98 03 Aug 2026
Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012: 265 (Lecture Notes in Electrical Engineering, 265)
78% match

Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012: 265 (Lecture Notes in Electrical Engineering, 265)

Springer

£108.00 04 Aug 2026
Real-Time Modelling and Processing for Communication Systems: Applications and Practices: 29 (Lecture Notes in Networks and Systems, 29)
78% match

Real-Time Modelling and Processing for Communication Systems: Applications and Practices: 29 (Lecture Notes in Networks and Systems, 29)

Springer

£75.58 05 Aug 2026
Topics in Time Delay Systems: Analysis, Algorithms and Control: 388 (Lecture Notes in Control and Information Sciences, 388)
78% match

Topics in Time Delay Systems: Analysis, Algorithms and Control: 388 (Lecture Notes in Control and Information Sciences, 388)

Springer

£107.98 06 Jun 2026
Frontiers of Computational Science: Proceedings of the International Symposium on Frontiers of Computational Science 2005
78% match

Frontiers of Computational Science: Proceedings of the International Symposium on Frontiers of Computational Science 2005

Springer

£86.90 03 Jun 2026
Time Delay Systems: Methods, Applications and New Trends: 423 (Lecture Notes in Control and Information Sciences, 423)
78% match

Time Delay Systems: Methods, Applications and New Trends: 423 (Lecture Notes in Control and Information Sciences, 423)

Springer

£76.42 07 Aug 2026
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)
78% match

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)

Springer

£76.42 04 Aug 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
78% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£76.42 04 Aug 2026