Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by Yves Bertot,Pierre Castéran
ISBN 13: 9783540208549
Format: Hardcover (500 pages) Publisher: Springer Published: 14 May 2004
Save for later
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
by
ISBN 13: 9780521518253
Format: Hardcover (594 pages) Publisher: Cambridge University Press Published: 24 Sep 2009
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
