Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of In
121,23 €
A supporting website provides downloadable source for all the examples and solutions to the exercises. As an introduction to Coq the book is self-contained …. The book is also comprehensive …. (Valentin F. Goranko, Zentralblatt MATH, Vol. ).
Jetzt bei Ebay:
