南開科技大學圖書館 |

Language: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

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 /
Chlipala, Adam,1981-

Certified programming with dependent types :a pragmatic introduction to the Coq proof assistant /Adam Chlipala. - Cambridge :The MIT Press,c2013. - xii, 424 p. ;23 cm.

Includes bibliographical references and index.

ISBN: 9780262545747NT1638Subjects--Uniform Titles:

Coq (Electronic resource)
Subjects--Topical Terms:

1000148818
Automatic theorem proving
--Computer programs.

Dewey Class. No.: 005.1

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

館藏地: 出版年: 卷號:

館藏

此限制條件找不到符合的館藏，請您更換限制條件。

建立或儲存個人書籤

書目轉出

取書館別