國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Principles of model checking

~

Baier, Christel.

Principles of model checking

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Principles of model checkingChristel Baier, Joost-Pieter Katoen.
Author:	Baier, Christel.
other author:	Katoen, Joost-Pieter.
Published:	Cambridge, Mass. :The MIT Press,[2008?]
Description:	xvii, 975 p. :ill. ;26 cm.
Subject:	Computer systemsVerification.
Online resource:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

000000022581

電子館藏

1圖書

電子書

EB QA76.76.V47 B152 2008

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=226091

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login