Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
459.63
lei
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
