嶺東科技大學 |

[NT 42591] Language: 簡体中文

[NT 5480] Login

[NT 59466] Create an account

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

Principles of model checking

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47261] Author:	BaierChristel,
[NT 47353] Alternative Intellectual Responsibility:	KatoenJoost-Pieter,
[NT 47351] Place of Publication:	Cambridge, Mass.
[NT 47263] Published:	The MIT Press;
[NT 47352] Year of Publication:	c2008
[NT 47264] Description:	xvii, 975 p.ill. : 26 cm.;
[NT 47266] Subject:	Computer systems - Verification. -
[NT 47266] Subject:	Computer software - Verification. -
[NT 47265] Notes:	Includes bibliographical references (p. 931-964) and index.
[NT 50961] ISBN:	0-262-02649-Xbound
[NT 50961] ISBN:	9780262026499bound

Principles of model checking
Baier, Christel

Principles of model checking / Christel Baier, Joost-Pieter Katoen - Cambridge, Mass. : The MIT Press, c2008. - xvii, 975 p. ; ill. ; 26 cm..
Includes bibliographical references (p. 931-964) and index..
ISBN 0-262-02649-XISBN 9780262026499
Computer systems - Verification.Computer software - Verification.

Katoen, Joost-Pieter

Principles of model checking
LDR:00498nam0 2200145 450 001 210436
010 1 $a 0-262-02649-X $b bound $d NT$1849
010 1 $a 9780262026499 $b bound $d NT$1849
100 $a 20100306d2008 k y0engy01 b
101 0 $a eng
200 0 $a Principles of model checking $f Christel Baier, Joost-Pieter Katoen
210 $a Cambridge, Mass. $d c2008 $c The MIT Press
215 1 $a xvii, 975 p. $c ill. $d 26 cm.
300 $a Includes bibliographical references (p. 931-964) and index.
606 # 1 $a Computer systems - Verification. $3 211696
606 # 1 $a Computer software - Verification. $3 184435
676 $a 004.24
700 1 $a Baier $b Christel $3 211694
701 1 $a Katoen $b Joost-Pieter $3 211695
801 0 $b 嶺東科技大學圖書館

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

281430

總館A區6F

一般流通

一般圖書

004.24 B152

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login