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 8 day(s) ago - will refresh soon
Price History & Forecast
Last 83 days • 83 data points (No recent data available)
Price Distribution
Price distribution over 83 days • 2 price levels
Price Analysis
Most common price: £50 (46 days, 55.4%)
Price range: £50 - £50
Price levels: 2 different prices over 83 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