£143.92

Springer Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

Price data checked 1 day ago

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 3 months ago.

£144 today · all-time low £143 (Feb 2026) · usually £148

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 90 days • 90 data points

Historical
Generating forecast...
£149.65 £142.40 £143.98 £145.56 £147.15 £148.73 £150.31 18 February 2026 12 March 2026 03 April 2026 25 April 2026 18 May 2026

Price Distribution

Price distribution over 90 days • 6 price levels

Days at Price
Current Price
4 days 1 day · current 5 days 41 days 15 days 24 days 0 10 21 31 41 £143 £144 £145 £147 £149 £150 Days at Price

Price Analysis

Most common price: £147 (41 days, 45.6%)

Price range: £143 - £150

Price levels: 6 different prices over 90 days

Description

This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The Procomet '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
22 January 2013
Listed Since
08 November 2013

Barcode

No barcode data available

Similar Products You Might Like

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)
81% match

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Springer

£65.50 17 May 2026
Symbolic Simulation Methods for Industrial Formal Verification
80% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.01 18 May 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
80% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.10 17 May 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
80% match

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Springer

£129.99 18 May 2026
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)
79% match

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

Springer

£147.54 18 May 2026
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
79% match

Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)

Springer

£156.00 18 May 2026
Multiprocessor Execution of Logic Programs
79% match

Multiprocessor Execution of Logic Programs

Springer

£107.27 18 May 2026
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development: 298 (The Springer International Series in Engineering and Computer Science, 298)
78% match

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development: 298 (The Springer International Series in Engineering and Computer Science, 298)

Springer

£118.18 18 May 2026
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development: 298 (The Springer International Series in Engineering and Computer Science, 298)
78% match

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development: 298 (The Springer International Series in Engineering and Computer Science, 298)

Springer

£113.09 18 May 2026
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
78% match

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

Springer

£112.89 18 May 2026
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
78% match

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

Springer

£107.93 18 May 2026
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
78% match

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)

Springer

£148.83 18 May 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)
78% 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

£95.37 04 May 2026
Open Verification Methodology Cookbook
78% match

Open Verification Methodology Cookbook

Springer

£103.23 18 May 2026
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology, 273)
78% match

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology, 273)

Springer

£107.85 18 May 2026
Post-Silicon and Runtime Verification for Modern Processors
78% match

Post-Silicon and Runtime Verification for Modern Processors

Springer

£107.78 18 May 2026
Software Performability: From Concepts to Applications: 347 (The Springer International Series in Engineering and Computer Science, 347)
78% match

Software Performability: From Concepts to Applications: 347 (The Springer International Series in Engineering and Computer Science, 347)

Springer

£106.83 18 May 2026
Behavioral Specifications of Businesses and Systems: 523 (The Springer International Series in Engineering and Computer Science, 523)
78% match

Behavioral Specifications of Businesses and Systems: 523 (The Springer International Series in Engineering and Computer Science, 523)

Springer

£107.93 18 May 2026
Specification and Verification of Multi-agent Systems
78% match

Specification and Verification of Multi-agent Systems

Springer

£107.98 18 May 2026
System Modelling and Optimization: Methods, Theory and Applications. 19th IFIP TC7 Conference on System Modelling and Optimization July 12–16, 1999, ... Information and Communication Technology, 46)
78% match

System Modelling and Optimization: Methods, Theory and Applications. 19th IFIP TC7 Conference on System Modelling and Optimization July 12–16, 1999, ... Information and Communication Technology, 46)

Springer

£113.09 18 May 2026
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)
78% match

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Springer

£69.43 11 May 2026
Software Engineering Frameworks for the Cloud Computing Paradigm (Computer Communications and Networks)
77% match

Software Engineering Frameworks for the Cloud Computing Paradigm (Computer Communications and Networks)

Springer

£76.38 16 May 2026
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
77% 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 16 May 2026
Fundamentals of Information Systems: 496 (The Springer International Series in Engineering and Computer Science, 496)
77% match

Fundamentals of Information Systems: 496 (The Springer International Series in Engineering and Computer Science, 496)

Springer

£73.92 11 May 2026