Opens image gallery
Very good: A book that does not look new and has been read but is in excellent condition. No obvious damage to ... Read moreabout the condition
|Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises.|
|Publisher||Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg|
|eBay Product ID (ePID)||94746081|
|Product Key Features|
|Additional Product Features|
|Author(s)||Yves Bertot, Pierre Casteran|
|Place of Publication||Berlin|
|Series Title||Texts in Theoretical Computer Science: an Eatcs Series|
|Foreword by||Gerard Huet,Christine Paulin-Mohring|
|Content Note||1 Black & White Illustrations, Biography|
|Format Details||Laminated Cover|
|Country of Publication||Germany|
|Imprint||Springer-Verlag Berlin and Heidelberg Gmbh & Co. K|
|Date of Publication||14/05/2004|
Item must be returned within
30 days after the buyer receives it
There are 1 items available. Please enter a number less than or equal to 1.
Select a valid country.
Please enter a valid postcode.
Please enter five or nine numbers for the postcode.
Domestic handling time
Will usually post within 1 business day of receiving cleared payment - opens in a new window or tab.
|Payment method||Preferred / Accepted|