Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=CLIPALA, Adam
cover
Certified Programming with Dependent Types: A Pragmatic Introduction to the C…
Comment Share
CLIPALA, Adam

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Co…

Edition
-
ISBN/ISSN
9780262026659
Collation
-
Series Title
-
Call Number
-