Mathematics of Program Construc...
Paperback
Published 04 Jul 2008
Save $45.26
- RRP $102.53
- $57.27
Search for "Paulin Mohring Christine Paulin Mohring"
4 results
-
$45.26off
-
$6.52off
Types for Proofs and Programs
Paperback
Published 07 Oct 1998Save $6.52
- RRP $61.51
- $54.99
-
$3.90off
Types for Proofs and Programs
Paperback
Published 25 Jan 2006Save $3.90
- RRP $61.51
- $57.61
-
Interactive Theorem Proving
Paperback
Published 20 Jun 2013