Chlipala, Adam  <br/><br/>
Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant 

 - Cambridge  The MIT Press  2013 
 - xii, 424p. 
<br/><br/><label>ISBN: </label>9780262545747 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving- Computer programs<br/>Computer programming<br/>Coq(Electronic resource)
<br/><br/><label>Dewey Class. No.: </label>005.1 CHL/C