We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£50.33
Formal Verification of Just-in-Time Compilation (ACM Books)
Price data last checked 54 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.
£50 today · cheaper than every other day in the last 3 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 37 days • 37 data points (No recent data available)
Price Distribution
Price distribution over 37 days • 1 price levels
Price Analysis
Most common price: £50 (37 days, 100.0%)
Price range: £50 - £50
Price levels: 1 different prices over 37 days
Product Specifications
- Format
- hardcover
- ASIN
- B0DVDTXHNF
- Domain
- Amazon UK
- Release Date
- 28 January 2025
- Listed Since
- 29 January 2025
Barcode
No barcode data available
Similar Products You Might Like
A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic
VDM Verlag
Computer Aided Verification
Saint Philip Street Press
Computer Aided Verification
Saint Philip Street Press
Computer Aided Verification
Saint Philip Street Press
Software Verification and Validation for Practitioners and Managers, Second Edition
Artech House
Theory of Computation for Software Developers
Chapman and Hall/CRC
Theory of Computation for Software Developers
Chapman and Hall/CRC
Cost-Effective Verification of Concurrent Safety-Critical Systems: The Compliance Notation Approach
LAP Lambert Academic Publishing
The Technical Communications Companion: A Reference Guide and Workbook
KENDALL HUNT PUBLISHING
Topics in the Theory of Computation
North Holland
Hybrid Code-Based Test Data Compression and Decompression for VLSI Circuits
GRIN Verlag
Itcs 13 Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science
MCA
Jcdl '18: Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries
MCA
Agile Software Development Complete Self-Assessment Guide
5starcooks
Agile Project Management Complete Self-Assessment Guide
5starcooks
Third-Party Compliance Second Edition
5starcooks
Mathematical Foundations of Computer Science
Chapman and Hall/CRC
IT Delivery Model Complete Self-Assessment Guide
5starcooks
Software Testing Complete Self-Assessment Guide
5starcooks
Symbolic Computing and Signal and Image Procesing
BS Publications
Codes+isss 12 Proceedings of the Tenth ACM International Conference on Hardware/Software-Codesign and Systems Synthesis
MCA
2016 ACM Asia Conference on Computer and Communications Security
MCA
C&c '17: Creativity and Cognition
MCA
Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler
Südwestdeutscher Verlag für Hochschulschriften