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 beskrivning

Bibliografiska uppgifter

Huvudupphov:	Chlipala, Adam
Materialtyp:	Online
Språk:	engelska
Utgiven:	The MIT Press 2022
Ämnen:	Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming
Länkar:	ONIX_20220221_9780262317870_43
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!