£145.12

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 last checked 40 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 month ago.

£145 today · all-time low £144 (May 2026) · 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 51 days • 51 data points (No recent data available)

Historical
Generating forecast...
£149.65 £143.35 £144.72 £146.10 £147.47 £148.85 £150.22 05 April 2026 17 April 2026 30 April 2026 12 May 2026 25 May 2026

Price Distribution

Price distribution over 51 days • 4 price levels

Days at Price
Current Price
6 days 7 days · current 15 days 23 days 0 6 12 17 23 £144 £145 £149 £150 Days at Price

Price Analysis

Most common price: £150 (23 days, 45.1%)

Price range: £144 - £150

Price levels: 4 different prices over 51 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

Programming Methodology (Monographs in Computer Science)
82% match

Programming Methodology (Monographs in Computer Science)

Springer

£84.55 01 Jun 2026
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
Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August ... Information and Communication Technology, 3)
80% match

Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August ... Information and Communication Technology, 3)

Springer

£120.48 01 Jun 2026
Symbolic Simulation Methods for Industrial Formal Verification
80% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea ... in Information and Communication Technology)
80% match

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea ... in Information and Communication Technology)

Springer

£179.99 01 Jun 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 30 May 2026
Systems and Software Verification: Model-Checking Techniques and Tools
80% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
ECOOP '98 - Object-Oriented Programming: 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings: 1445 (Lecture Notes in Computer Science, 1445)
79% match

ECOOP '98 - Object-Oriented Programming: 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings: 1445 (Lecture Notes in Computer Science, 1445)

Springer

£85.37 06 Jun 2026
Programming Language Concepts (Undergraduate Topics in Computer Science)
79% match

Programming Language Concepts (Undergraduate Topics in Computer Science)

Springer

£37.91 06 Jun 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

£148.05 04 Jun 2026
A Theory of Objects (Monographs in Computer Science)
79% match

A Theory of Objects (Monographs in Computer Science)

Springer

Out of Stock 15 Jun 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
Processes and Foundations for Virtual Organizations: IFIP TC5 / WG5.5 Fourth Working Conference on Virtual Enterprises (PRO-VE’03) October 29–31, ... and Communication Technology, 134)
79% match

Processes and Foundations for Virtual Organizations: IFIP TC5 / WG5.5 Fourth Working Conference on Virtual Enterprises (PRO-VE’03) October 29–31, ... and Communication Technology, 134)

Springer

£77.33 02 Jun 2026
Multiprocessor Execution of Logic Programs
79% match

Multiprocessor Execution of Logic Programs

Springer

£107.98 27 May 2026
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom ... in Information and Communication Technology)
78% match

Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom ... in Information and Communication Technology)

Springer

£149.21 06 Jun 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
78% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£39.06 01 Jun 2026
Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)
78% match

Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)

Springer

£122.79 06 Jun 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 31 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 30 May 2026
Cognitive Models and Intelligent Environments for Learning Programming: 111 (NATO ASI Subseries F:, 111)
78% match

Cognitive Models and Intelligent Environments for Learning Programming: 111 (NATO ASI Subseries F:, 111)

Springer

£107.98 05 Jun 2026
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
78% match

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Springer

£106.92 03 Jun 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 25 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

£108.83 25 May 2026