Fr. 128.40

Formal Verification of Just-in-Time Compilation

English · Hardback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Read more










This book outlines a methodology to develop formally verified Just-in-Time compilers.


Product details

Authors Aurèle Barrière
Publisher Association for Computing Machinery
 
Languages English
Product format Hardback
Released 28.01.2025
 
EAN 9798400713774
ISBN 979-8-4007-1377-4
No. of pages 176
Dimensions 196 mm x 241 mm x 14 mm
Weight 534 g
Subjects Guides
Natural sciences, medicine, IT, technology > IT, data processing > General, dictionaries

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.