Matches in Library of Congress for { <http://lccn.loc.gov/2013012837> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- 2013012837 contributor B12719714.
- 2013012837 date "2013".
- 2013012837 description "Includes bibliographical references and index.".
- 2013012837 extent "pages cm".
- 2013012837 identifier "9780262026659 (hardcover : alk. paper)".
- 2013012837 issued "2013".
- 2013012837 language "eng".
- 2013012837 subject "005.1 23".
- 2013012837 subject "Automatic theorem proving Computer programs.".
- 2013012837 subject "Computer programming.".
- 2013012837 subject "Coq (Electronic resource)".
- 2013012837 subject "QA76.9.A96 C45 2013".
- 2013012837 title "Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala.".
- 2013012837 type "text".