Formal Verification of JustinTime Compilation
A Paperback by Aurèle Barrière
£40.49
Includes FREE deliveryRRP £44.99 – you save £4.50 (10%)
Order before 4pm today for delivery by Thu 29 Oct 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Formal Verification of JustinTime Compilation by Aurèle Barrière
Book details
Publisher
Association for Computing Machinery
Published
1/28/2025
ISBN-13
9798400713781
979-8400713781
979-8400713781
ISBN-10
9798400713781
Also in:
Compilers and interpreters
Compilers and interpreters