Program Logics for Certified Compilers
Publisher: Unknown Publisher
GenreTechnology & Computing
Rating
Reviews0
ISBN: 9781107048010
0Reader Reviews
Unlock Exclusive Content
Experience the hidden layers of 'Program Logics for Certified Compilers'. Scan the book cover with the Appilog mobile app to see behind-the-scenes videos, author reviews, and interactive digital stories.
Author Commentary
Interactive Content
Available on iOS & Android
