We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£44.00
Springer The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Price data last checked 22 day(s) ago - will refresh soon
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 2 months ago.
£44 today · all-time low £44 (May 2026) · usually £44
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 69 days · 69 data points (no recent data)
Price Distribution
Price distribution over 69 days • 2 price levels
Price Analysis
Most common price: £44 (52 days, 75.4%)
Price range: £44 - £45
Price levels: 2 different prices over 69 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540760334
- Domain
- Amazon UK
- Release Date
- 14 May 1996
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Modelling Systems: Practical Tools and Techniques in Software Development
Cambridge University Press
Specifying Software: A Hands-On Introduction
Cambridge University Press
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
Springer
Using Event-B for Critical Device Software Systems
Springer
BCPL: The Language and its Compiler
Cambridge University Press
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)
Springer
Model-Based Software Testing and Analysis with C#
Cambridge University Press
UML-B Specification for Proven Embedded Systems Design
Springer
The Object-Z Specification Language: 1 (Advances in Formal Methods, 1)
Springer
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
Springer
Programming with Higher-Order Logic
Cambridge University Press
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)
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)
Springer
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Springer
Systematic Program Design: From Clarity to Efficiency
Cambridge University Press
A Theory of Objects (Monographs in Computer Science)
Springer
System Design: A Practical Guide with SpecC
Springer
System Design: A Practical Guide with SpecC
Springer
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
Springer
Specification and Verification of Multi-agent Systems
Springer
Modeling and Analysis of Communicating Systems
MIT Press
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
Springer
Access Control Systems: Security, Identity Management and Trust Models
Springer