Certified Programming with Dependent Types
Publisher: Unknown Publisher
GenreGeneral
Rating
Reviews0
ISBN: 9780262026659
0Reader Reviews
Unlock Exclusive Content
Experience the hidden layers of 'Certified Programming with Dependent Types'. 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
