Certified Programming with Dependent Types

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...

Full description

Bibliographic Details

Main Author:	Chlipala, Adam
Format:	Online
Language:	English
Published:	The MIT Press 2022
Subjects:	Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming
Online Access:	ONIX_20220221_9780262317870_43
Tags:	Add Tag No Tags, Be the first to tag this record!