All
Showing 1 to 2 of 2
-
Save 5% Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Adam ChlipalaCurrent price €56.99Original price €59.99Current price €56.99Original price €59.99Save 5% -
Save 20%
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Adam ChlipalaCurrent price €56.54Original price €70.68A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized pr...
View full detailsCurrent price €56.54Original price €70.68Save 20%
