Advanced search | The Library Supply Company

Filter Results

Large print only

Audiobooks only

Genre

Readership/Audience

Format

Publication Date

Publication Country

Availability

Subject

Computing and Information Technology (1)

To view prices and purchase online, please login, or register for an account.

Adam Chlipala

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

(Paperback)

By: Adam Chlipala

ISBN: 9780262545747 Copied!
Readership/Audience: Professional and Scholarly
Publication Date: Jun 2022
Publisher: MIT Press Ltd
See more...

This website uses cookies to provide you with a great user experience. By using our The Library Supply Company website you consent to all cookies in accordance with our Privacy Statement & Cookie Policy.