We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£82.00
Südwestdeutscher Verlag für Hochschulschriften A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking
Price data last checked 120 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£82 today · cheaper than every other day in the last 24 months
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 611 days • 611 data points (No recent data available)
Price Distribution
Price distribution over 611 days • 1 price levels
Price Analysis
Most common price: £82 (611 days, 100.0%)
Price range: £82 - £82
Price levels: 1 different prices over 611 days
Product Specifications
- Format
- paperback
- ASIN
- 3838130642
- Domain
- Amazon UK
- Release Date
- 20 January 2012
- Listed Since
- 22 January 2012
Barcode
No barcode data available
Similar Products You Might Like
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
LAP Lambert Academic Publishing
Collection-Oriented Programming: A Collection-Oriented Application Framework for Mobile Information Systems
Südwestdeutscher Verlag für Hochschulschriften
Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev: 485 (Synthese Library, 485)
Springer
Agile Project Management Complete Self-Assessment Guide
5starcooks
Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev (Synthese Library, 485)
Springer
Development of a software architecture-based quality model: An architectural investigation and perspective of software quality attributes
LAP Lambert Academic Publishing
Product Lifecycle Management A Complete Guide - 2019 Edition
5starcooks
Inconsistency Management in Software Functional Requirements: A Machine Learning System
LAP Lambert Academic Publishing
Specification and Collaboration Driven Software Component Selection- Building a Framework for Component Selection
VDM Verlag
Logics of Variable Inclusion: 59 (Trends in Logic, 59)
Springer
Jcdl '18: Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries
MCA
Kollaborative Softwareerstellung: Entwicklung eines Referenzprozesses zur kollaborativen Erstellung von Unternehmenssoftware
VDM Verlag
Diverging Evidence in Semantics and Pragmatics (Pragmatic Interfaces)
University of Toronto Press
Aspects of Quality Management in Value Creating in the Industry 5.0 Way
CRC Press
Project Management Office Complete Self-Assessment Guide
5starcooks
R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)
Springer
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic: 17 (Logic, Epistemology, and the Unity of Science, 17)
Springer
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
VDM Verlag
Observations on Reusability, Frameworks and Testing: Process and Metric Models
LAP Lambert Academic Publishing
Platform-Specific Code Generation from TDL Components: A Plug-In Architecture
VDM Verlag
New Essays on Belnap-Dunn Logic: 418 (Synthese Library, 418)
Springer
Model-checking infinite state systems for information flow security
LAP Lambert Academic Publishing