Tuesday , May 26th 2020

Interactive Theorem Proving and Program Development

Product Features:

    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.
Price as on: 2020-02-20 12:44:13
52.58  

Product Description

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.