We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£95.46
It has never been this cheap. We have no record of a lower price.
£95 today · cheaper than every other day in the last 3 months
Springer Program Development by Refinement - B Method Book
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 71 days · 71 data points (no recent data)
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 71 days • 4 price levels
Price Analysis
Most common price: £106 (42 days, 59.2%)
Price range: £95 - £106
Price levels: 4 different prices over 71 days
Description
Key Features
This book by Springer explores the concept of program refinement to manage software complexity.
The text uses the B Method to demonstrate how to separate program specifications from implementation.
Case studies are included to show the development process from requirements to efficient code.
Part of the Formal Approaches to Computing and Information Technology (FACIT) series.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1852330538
- Domain
- Amazon UK
- Publication Date
- 23 October 1998
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Feature-Oriented Software Product Lines: Concepts and Implementation
Springer
Programmiersprachen und Programmentwicklung: 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.–12. März 1980: 25 (Informatik-Fachberichte, 25)
Springer
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
Springer
Foundations of Software Engineering
CRC Press
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))
Springer
Software Engineering Practice: A Case Study Approach (Chapman & Hall/CRC Innovations in Software Engineering and S)
CRC Press
Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)
Springer
Integrating Research and Practice in Software Engineering: 851 (Studies in Computational Intelligence, 851)
Springer
Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme
Gabler Verlag
Stable Design Patterns for Software and Systems
CRC Press
Non-Functional Requirements in Software Engineering: 5 (International Series in Software Engineering, 5)
Springer
Non-Functional Requirements in Software Engineering: 5 (International Series in Software Engineering, 5)
Springer
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
Software Engineering with Computers and IT Skills Valuepack
PEARSON EDUCATION
Price unavailable
Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)
PEARSON EDUCATION
What Every Engineer Should Know about Software Engineering
CRC Press
Advancing Software Engineering Through AI, Federated Learning, and Large Language Models
Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018: 925 (Advances in Intelligent Systems and Computing, 925)
Springer
New Perspectives in Software Engineering: Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020): 1297 (Advances in Intelligent Systems and Computing, 1297)
Springer
Handbook on Agent-Oriented Design Processes
Springer
Conquering Complexity - Software Engineering Book
Springer
Conquering Complexity - Software Engineering Book by Springer
Springer
Advances in Computers Volume 74 - Software Development
Elsevier
Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)
Springer