Download Now

Interactive Theorem Proving and Program Development

Yves Bertot, "Interactive Theorem Proving and Program Development"
English | 2004 | ISBN: 3540208542 | PDF | pages: 491 | 10,1 mb

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Buy Premium Account To Get Resumable Support & Max Speed

Links are Interchangeable - No Password
Direct Download

Tags: Interactive, Theorem, Proving, Program, Development

Add Comments:
Enter Code: *