38232378
9780262026659
Out of Stock
The item you're looking for is currently unavailable.
Chlipala, Adam is the author of 'Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant', published 2013 under ISBN 9780262026659 and ISBN 0262026651.
[read more]