LIBROS DEL AUTOR: pierre casteran

1 resultados para LIBROS DEL AUTOR: pierre casteran

pierre casteran Eliminar filtro Quitar filtros
  • Interactive Theorem Proving and Program Development
    Pierre Castéran / Yves Bertot
    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. ...
    Disponible

    108,34 €