Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant

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

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Chlipala, Adam (auth)
Format: Elektronski Book Chapter
Jezik:angleščina
Izdano: Cambridge The MIT Press 2013
Serija:The MIT Press
Teme:
Online dostop:DOAB: download the publication
DOAB: description of the publication
Oznake: Označite
Brez oznak, prvi označite!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Podrobnosti zaloge 3rd Floor Main Library
Signatura: A1234.567
Kopija 1 Prosto