Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Model checking software10th Internat...
~
(1998 :)
Model checking software10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Model checking softwareThomas Ball, Sriram K. Rajamani (eds.).
Reminder of title:
10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
other author:
Ball, Thomas,
corporate name:
Published:
New York :Springer,c2003.
Description:
viii, 239 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science ;
Contained By:
Springer e-books
Subject:
Computer softwareCongresses.Verification
Online resource:
http://dx.doi.org/10.1007/3-540-44829-2
ISBN:
9783540401179 (paper)
Model checking software10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
Model checking software
10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /[electronic resource] :Thomas Ball, Sriram K. Rajamani (eds.). - New York :Springer,c2003. - viii, 239 p. :ill., digital ;24 cm. - Lecture notes in computer science ;2648.
ISBN: 9783540401179 (paper)Subjects--Uniform Titles:
SPIN (Computer file)
Subjects--Topical Terms:
443711
Computer software
--Verification--Congresses.
LC Class. No.: QA76.76.V47 / I58 2003
Dewey Class. No.: 005.14
Model checking software10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
LDR
:00857nmm 2200229 a 4500
001
216518
003
GreenPo
005
20081017130717.0
006
m d
007
cr nn 008maaau
008
091014s2003 nyu j eng d
020
$a
9783540401179 (paper)
035
$a
978-3-540-40117-9
050
0 0
$a
QA76.76.V47
$b
I58 2003
082
0 0
$a
005.14
$2
21
090
$a
QA76.76.V47
$b
I61 2003
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Model checking software
$h
[electronic resource] :
$b
10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
$c
Thomas Ball, Sriram K. Rajamani (eds.).
260
$a
New York :
$c
c2003.
$b
Springer,
300
$a
viii, 239 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science ;
$v
2648
630
0 0
$a
SPIN (Computer file)
$3
277565
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
700
1
$a
Ball, Thomas,
$d
1965-
$3
344673
700
1
$a
Rajamani, Sriram K.,
$d
1970-
$3
344674
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/3-540-44829-2
950
$a
Computer Science (Lecture Notes in Computer Science)
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
000000029446
電子館藏
1圖書
電子書
EB QA76.76.V47 I61 2003
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/3-540-44829-2
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login