Chlipala, Adam <br/><br/>
Certified programming with dependent types :  A pragmatic introduction to the Coq proof assistant  
Adam Chlipala 
 - xii, 424 p ;  24 cm 
<br/><br/> Bibliografie p. 413<br/>Index p. 419 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>9780262026659  
<br/><br/><label>LCCN: </label>2013012837 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Computer programming
<br/><br/><label>LC Class. No.: </label>QA76.9.A96 
<br/><br/><label>Dewey Class. No.: </label>005.1