£89.60

Springer 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)

Price data last checked 59 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.

£90 today · previous high £90 · all-time low £79

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

Historical
Generating forecast...
£89.60 £78.42 £80.86 £83.30 £85.74 £88.18 £90.62 11 March 2026 18 March 2026 26 March 2026 03 April 2026 11 April 2026

Price Distribution

Price distribution over 32 days • 2 price levels

Days at Price
Current Price
8 days 11 days · current 0 3 6 8 11 £79 £90 Days at Price

Price Analysis

Most common price: £90 (11 days, 57.9%)

Price range: £79 - £90

Price levels: 2 different prices over 19 days

Description

Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene?t: reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should have an account of results. ICFEM 2004 was the sixth conference in the series, and the ?rst to be held in North America. Previous conferences were held in Singapore, China, UK, A- tralia, and Japan. The Programme Committee received 110 papers and selected 30forpresentation.The?nalversionsofthosepapersareincludedhere,together with 2-page abstracts for the 5 accepted tutorials, and shorter abstracts for the 4 invited talks.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
28 October 2004
Listed Since
13 December 2006

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
Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science)
96% match

Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science)

Springer

£139.36 12 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
Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8)
96% match

Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8)

Springer

£144.39 11 Feb 2026
Feature-Oriented Software Product Lines: Concepts and Implementation
96% match

Feature-Oriented Software Product Lines: Concepts and Implementation

Springer

£46.53 08 Mar 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: State of the Art and New Directions
96% match

Formal Methods: State of the Art and New Directions

Springer

£73.87 06 Feb 2026
How to Engineer Software: A Model-Based Approach
96% match

How to Engineer Software: A Model-Based Approach

Wiley-Blackwell

£98.66 14 Feb 2026
Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach
96% match

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

Springer

£74.57 03 Apr 2026
Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML
96% match

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

Addison Wesley

£42.19 10 Feb 2026
Trends and Applications in Software Engineering: Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019): 1071 ... in Intelligent Systems and Computing, 1071)
96% match

Trends and Applications in Software Engineering: Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019): 1071 ... in Intelligent Systems and Computing, 1071)

Springer

£108.85 17 Feb 2026
Foundations of Software Engineering
96% match

Foundations of Software Engineering

CRC Press

£73.59 08 Mar 2026
Agile Modeling with UML: Code Generation, Testing, Refactoring
96% match

Agile Modeling with UML: Code Generation, Testing, Refactoring

Springer

£57.91 26 Feb 2026
Software Engineering Practice: A Case Study Approach (Chapman & Hall/CRC Innovations in Software Engineering and S)
96% match

Software Engineering Practice: A Case Study Approach (Chapman & Hall/CRC Innovations in Software Engineering and S)

CRC Press

£165.60 06 Feb 2026
Metamodelling for Software Engineering
96% match

Metamodelling for Software Engineering

Wiley

£54.29 21 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
Trends and Applications in Software Engineering: Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018): 865 (Advances in Intelligent Systems and Computing, 865)
95% match

Trends and Applications in Software Engineering: Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018): 865 (Advances in Intelligent Systems and Computing, 865)

Springer

£113.48 20 Apr 2026
Springer - Formal Methods and Models for System Design Book
95% match

Springer - Formal Methods and Models for System Design Book

Springer

£104.85 18 Apr 2026
Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science)
95% match

Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science)

Springer

£54.99 10 Apr 2026
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))
95% match

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£88.50 18 Apr 2026
Experimentation in Software Engineering
95% match

Experimentation in Software Engineering

Springer

£63.05 08 Mar 2026
What Every Engineer Should Know about Software Engineering
95% match

What Every Engineer Should Know about Software Engineering

£107.85 07 Jan 2026
Developing Information Systems Accurately: A Wholistic Approach
95% match

Developing Information Systems Accurately: A Wholistic Approach

Springer

£31.47 07 Mar 2026
Software Engineering: A Methodical Approach, 2nd Edition
95% match

Software Engineering: A Methodical Approach, 2nd Edition

CRC Press

£60.97 05 Feb 2026