Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Computer aided verification9th inter...
~
(1998 :)
Computer aided verification9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Computer aided verificationOrna Grumberg (ed.)
Reminder of title:
9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
remainder title:
CAV'97.
other author:
Grumberg, Orna.
corporate name:
Published:
Berlin ;Springer,c1997.
Description:
xi, 486 p. :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-63166-6
ISBN:
9783540631668 (paper)
Computer aided verification9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
Computer aided verification
9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /[electronic resource] :CAV'97.Orna Grumberg (ed.) - Berlin ;Springer,c1997. - xi, 486 p. :digital ;24 cm. - Lecture notes in computer science ;1254.
ISBN: 9783540631668 (paper)Subjects--Topical Terms:
443711
Computer software
--Verification--Congresses.
Dewey Class. No.: 004.24015113
Computer aided verification9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
LDR
:00840nmm 2200229 a 4500
001
263462
003
GreenPo
005
20100331132617.0
006
m d
007
cr nn 008maaau
008
101102s1997 gw s j eng d
020
$a
9783540631668 (paper)
035
$a
978-3-540-63166-8
082
0 4
$a
004.24015113
$2
21
090
$a
QA76.76.V47
$b
C376 1997
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Computer aided verification
$h
[electronic resource] :
$b
9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
$c
Orna Grumberg (ed.)
246
3
$a
CAV'97.
260
$a
Berlin ;
$a
New York :
$b
Springer,
$c
c1997.
300
$a
xi, 486 p. :
$b
digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science ;
$v
1254
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
650
0
$a
Integrated circuits
$x
Verification
$v
Congresses.
$3
443712
650
0
$a
Electronic digital computers
$x
Evaluation
$v
Congresses.
$3
443713
700
1
$a
Grumberg, Orna.
$3
348955
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-63166-6
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
000000044580
電子館藏
1圖書
電子書
EB QA76.76.V47 c1997.
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/3-540-63166-6
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login