Specials
50% Discount and Free Freight
Orders with 35+ units will receieve 52% discount AND free freight
Orders with 100+ units will receive 53% discount AND free freight
* expires 12/10/25 *
About the Brand
Penguin Random House is the international home to nearly 250 editorially and creatively independent publishing imprints. Together, our mission is to foster a universal passion for reading by partnering with authors to help create stories and communicate ideas that inform, entertain, and inspire, and to connect them with readers everywhere.
Shop Brand CatalogCertified Programming with Dependent Types
- SKU: 9780262545747
- UPC: 9780262545747
Certified Programming with Dependent Types A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. Paperback 06/07/2022
Have questions about “Certified Programming with Dependent Types”?
Selling things that
make people happy.
Since 1975, we've been bringing together the industry's best brands and retailers. With our experienced sales team across 50 states, four stunning showrooms and 24/7 online marketplace, we make shopping fun and easy.
