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

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Chlipala, Adam (auth)
Aineistotyyppi: Elektroninen Kirjan osa
Kieli:englanti
Julkaistu: Cambridge The MIT Press 2013
Sarja:The MIT Press
Aiheet:
Linkit:DOAB: download the publication
DOAB: description of the publication
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Saatavuus: 3rd Floor Main Library
Hyllypaikka: A1234.567
Nide 1 Saatavissa