Certified Programming with Dependent Types
Subtitle: A Pragmatic Introduction to the Coq Proof Assistant
Publisher: The MIT Press
Published: Dec 06, 2013
Format: hardcover
Number of pages: 424
ISBN-13: 9780262026659
Notes: Source title: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)