Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Principles of the Spin model checker
~
Ben-Ari, M., (1948-)
Principles of the Spin model checker
Record Type:
Electronic resources : Monograph/item
Title/Author:
Principles of the Spin model checkerMordechai Ben-Ari.
Author:
Ben-Ari, M.,
Published:
London :Springer-Verlag London Limited,2008.
Description:
xv, 216 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Logics and Meanings of Programs.
Online resource:
http://dx.doi.org/10.1007/978-1-84628-770-1
ISBN:
9781846287695 (paper)
Principles of the Spin model checker
Ben-Ari, M.,1948-
Principles of the Spin model checker
[electronic resource] /Mordechai Ben-Ari. - London :Springer-Verlag London Limited,2008. - xv, 216 p. :ill., digital ;24 cm.
Includes bibliographical references (p. [209]-210) and index.
ISBN: 9781846287695 (paper)Subjects--Uniform Titles:
SPIN (Computer file)
Subjects--Topical Terms:
275357
Logics and Meanings of Programs.
LC Class. No.: QA76.76.V47 / B46 2008
Dewey Class. No.: 005.14
Principles of the Spin model checker
LDR
:00890nmm _22002415a_450
001
185932
003
Springer
005
20080604131008.0
006
m d
007
cr nn 008maaau
008
090528s2008 enk j eng d
020
$a
9781846287695 (paper)
020
$a
9781846287701 (electronic bk.)
035
$a
00331580
050
0 0
$a
QA76.76.V47
$b
B46 2008
082
0 4
$2
22
$a
005.14
090
$a
QA76.76.V47
$b
B456 2008
100
0
$a
Ben-Ari, M.,
$d
1948-
$3
200464
245
1 0
$a
Principles of the Spin model checker
$c
Mordechai Ben-Ari.
$h
[electronic resource] /
260
#
$a
London :
$c
2008.
$b
Springer-Verlag London Limited,
300
$a
xv, 216 p. :
$b
ill., digital ;
$c
24 cm.
504
$a
Includes bibliographical references (p. [209]-210) and index.
630
0 0
$a
SPIN (Computer file)
$3
277565
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Operating Systems.
$3
274474
650
# 0
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
# 0
$a
Programming Techniques.
$3
274470
650
# 0
$a
Software Engineering/Programming and Operating Systems.
$3
273711
650
# 0
$a
Theory of Computation.
$3
274475
650
# 0
$a
Computer software
$x
Verification.
$3
184731
650
# 0
$a
Computer Science.
$3
212513
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer eBooks
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-1-84628-770-1
$z
http://dx.doi.org/10.1007/978-1-84628-770-1
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000011306
電子館藏
1圖書
電子書
EB QA76.76.V47 B456 2008
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-1-84628-770-1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login