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

Descripció completa

Dades bibliogràfiques

Autor principal:	Chlipala, Adam
Format:	Online
Idioma:	anglès
Publicat:	The MIT Press 2022
Matèries:	Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming
Accés en línia:	ONIX_20220221_9780262317870_43
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!