國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Principles of model checking

~

Baier, Christel.

Principles of model checking

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Principles of model checkingChristel Baier, Joost-Pieter Katoen.
作者:	Baier, Christel.
其他作者:	Katoen, Joost-Pieter.
出版者:	Cambridge, Mass. :The MIT Press,[2008?]
面頁冊數:	xvii, 975 p. :ill. ;26 cm.
標題:	Computer systemsVerification.
電子資源:	An electronic book accessible through the World Wide Web; click for information
ISBN:	1435643275 (electronic bk.)

Principles of model checking
Baier, Christel.

Principles of model checking[electronic resource] /Christel Baier, Joost-Pieter Katoen. - Cambridge, Mass. :The MIT Press,[2008?] - xvii, 975 p. :ill. ;26 cm.

Includes bibliographical references (p. 931-964) and index.

Electronic reproduction.
Boulder, Colo. :
NetLibrary,
2008.

Access may be limited to NetLibrary affiliated libraries.

ISBN: 1435643275 (electronic bk.)Subjects--Topical Terms:

285652
Computer systems
--Verification.Index Terms--Genre/Form:

214472
Electronic books.

LC Class. No.: QA76.76.V47 / B35 2008eb

Dewey Class. No.: 004.2/4

Principles of model checking
LDR:01066cam _2200241Ia_450 001 198843
003 OCoLC
005 20090120000000.0
006 m d
007 cr cnu---unuuu
008 090528s2008 maua sb 001 0 eng d
020 $a 1435643275 (electronic bk.)
020 $a 9781435643277 (electronic bk.)
035 $a 00360282
040 $a N＄T $c N＄T $d YDXCP
049 $a APTA
050 1 4 $a QA76.76.V47 $b B35 2008eb
082 0 4 $2 22 $a 004.2/4
100 $a Baier, Christel. $3 279737
245 1 0 $a Principles of model checking $c Christel Baier, Joost-Pieter Katoen. $h [electronic resource] /
260 $a Cambridge, Mass. : $c [2008?] $b The MIT Press,
300 $a xvii, 975 p. : $b ill. ; $c 26 cm.
504 $a Includes bibliographical references (p. 931-964) and index.
533 $a Electronic reproduction. $b Boulder, Colo. : $c NetLibrary, $d 2008. $n Access may be limited to NetLibrary affiliated libraries. $n Available via World Wide Web.
650 $a Computer systems $x Verification. $3 285652
650 $a Computer software $x Verification. $3 184731
655 $a Electronic books. $2 local. $3 214472
700 $a Katoen, Joost-Pieter. $3 308078
710 $a NetLibrary, Inc. $3 201172
856 4 $3 Bibliographic record display $u http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=226091 $z An electronic book accessible through the World Wide Web; click for information

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

000000022581

電子館藏

1圖書

電子書

EB QA76.76.V47 B152 2008

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

多媒體檔案
http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=226091

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入