Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq
86,02 €
This book provides an introduction to the Coq software for writing and checking mathematical proofs. Almost every subject covered is also relevant to interactive computer theorem proving in general, not just program verification, demonstrated through examples of verified programs applied in many different sorts of formalizations.
Jetzt bei Ebay:
