Book

Interactive Theorem Proving and Program Development

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq «

Score:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

Pierre Cast Ran, Pierre Casteran, Yves Bertot

Category:

ISBN

9783540208549

Information

Reviews

Wall

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

There are no messages on Interactive Theorem Proving and Program Development wall yet.