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

Descrizione completa

Dettagli Bibliografici

Autore principale:	Chlipala, Adam
Natura:	Online
Lingua:	inglese
Pubblicazione:	The MIT Press 2022
Soggetti:	Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming
Accesso online:	ONIX_20220221_9780262317870_43
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!