南開科技大學圖書館 |

回首頁

Certified programming with dependent types :a pragmatic introduction to the Coq proof assistant /

紀錄類型:	書目-語言資料,印刷品 : 單行本
正題名/作者:	Certified programming with dependent types :/ Adam Chlipala.
其他題名:	a pragmatic introduction to the Coq proof assistant /
作者:	Chlipala, Adam,
出版者:	Cambridge :The MIT Press,c2013.
面頁冊數:	xii, 424 p. ;23 cm.
標題:	Automatic theorem proving - Computer programs. -
ISBN:	9780262545747
ISBN:	0262545748
ISBN:	9780262026659

Certified programming with dependent types :a pragmatic introduction to the Coq proof assistant /
LDR:00582cam a2200157 a 4500 001 1000126945
008 221006s2013 mau b 001 0 eng d
020 $a 9780262545747 $q (pbk.) : $c NT1638
020 $a 0262545748 $q (pbk.)
020 $a 9780262026659 $q (hbk.)
035 $a (OCoLC)1328020183
040 $a UKMGB $b eng $e aacr2 $c UKMGB $d BDX $d OCLCF
082 0 4 $a 005.1 $2 23
100 1 $a Chlipala, Adam, $d 1981- $3 1000148817
245 1 0 $a Certified programming with dependent types : $b a pragmatic introduction to the Coq proof assistant / $c Adam Chlipala.
260 $a Cambridge : $b The MIT Press, $c c2013.
300 $a xii, 424 p. ; $c 23 cm.
504 $a Includes bibliographical references and index.
630 0 0 $a Coq (Electronic resource) $3 1000148819
650 0 $a Automatic theorem proving $x Computer programs. $3 1000148818
650 0 $a Computer programming. $3 148134