Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Chlipala, Adam,"
cover
Certified programming with dependent types :a pragmatic introduction to the C…
Comment Share
Chlipala, Adam,

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 Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, empha…

Edition
-
ISBN/ISSN
9780262317870
Collation
1 online resource (xii, 424 pages)
Series Title
-
Call Number
-