£73.87

Springer Formal Methods: State of the Art and New Directions

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£74 today · all-time low £72 (Nov 2024) · usually the usual

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

Historical
Generating forecast...
£89.99 £70.45 £74.72 £78.98 £83.24 £87.50 £91.77 09 June 2024 07 November 2024 08 April 2025 07 September 2025 06 February 2026

Price Distribution

Price distribution over 608 days • 5 price levels

Days at Price
Current Price
88 days 366 days · current 44 days 91 days 19 days 0 92 183 275 366 £73 £74 £75 £76 £90 Days at Price

Price Analysis

Most common price: £74 (366 days, 60.2%)

Price range: £73 - £90

Price levels: 5 different prices over 608 days

Description

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa period of threeyears,broughtthe keynotespeakers of the conference to theBritishComputerSocietyheadquarters,fortheconvenienceofanaudience basedinLondon.Severalspeakersfromtheperiod2005-2007kindlydeveloped their talks into full papers, which form the basis of this volume. Iamdelightedtowelcomethepublicationofsuchanexcellentandcomp- hensiveseriesofcontributions.Theyarenowavailableinbookformtoaneven wider audience, including developers interested in solutions already available, and researchers interested in problems which remain for future solution. Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramount.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
22 December 2009
Listed Since
23 May 2009

Barcode

No barcode data available

Similar Products You Might Like

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)
97% 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
Springer - Formal Methods and Models for System Design Book
96% match

Springer - Formal Methods and Models for System Design Book

Springer

£104.85 18 Apr 2026
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
96% match

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

Springer

£39.21 07 Mar 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)
96% 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
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)
96% match

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Springer

£89.60 11 Apr 2026
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
96% match

Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£83.36 17 Feb 2026
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
96% match

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£32.70 09 Apr 2026
Formalization of Complex Analysis and Matrix Theory
96% match

Formalization of Complex Analysis and Matrix Theory

Springer

£102.94 02 Mar 2026
Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)
96% match

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

Springer

£99.98 25 Feb 2026
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)
96% match

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)

Springer

£116.76 25 Feb 2026
Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme
95% match

Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme

Gabler Verlag

£46.99 30 Mar 2026
Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)
95% match

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

Springer

£226.69 06 Jan 2026
Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)
95% match

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

Springer

£233.86 10 Jan 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
95% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£128.39 09 Mar 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
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)
95% match

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

Springer

£107.95 08 Mar 2026
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114)
95% match

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

Springer

£84.98 29 Mar 2026
Springer - Composing Model-Based Analysis Tools Book
95% match

Springer - Composing Model-Based Analysis Tools Book

Springer

£102.21 14 Apr 2026
Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML
95% match

Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML

Addison Wesley

£42.19 10 Feb 2026
Handbook of Research on Pathways and Opportunities Into the Business of Esports
95% match

Handbook of Research on Pathways and Opportunities Into the Business of Esports

£308.96 12 Feb 2026
Springer - Specification and Verification of Multi-agent Systems
95% match

Springer - Specification and Verification of Multi-agent Systems

Springer

£113.97 20 Apr 2026
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)
95% match

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)

Springer

£76.18 28 Feb 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