南開科技大學圖書館 |

Language: 繁體中文

Back

Switch To: Labeled | MARC Mode | ISBD

Computer aided verification :10th In...

CAV'98 (Conference)1998 :

Computer aided verification :10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Computer aided verification :/ Alan J. Hu, Moshe Y. Vardi (eds.).
Reminder of title:	10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
other author:	Hu, Alan J.
corporate name:	CAV'98 (Conference)
Published:	Berlin ;Springer,c1998.
Description:	ix, 552 p. :ill. ;24 cm.
Series:	Lecture notes in computer science,
Subject:	Computer software - Congresses. - Verification -
ISBN:	3540646086 (pbk)

Computer aided verification :10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
Computer aided verification :10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /Alan J. Hu, Moshe Y. Vardi (eds.). - Berlin ;Springer,c1998. - ix, 552 p. :ill. ;24 cm. - Lecture notes in computer science,1427 0302-9743 ;.

Includes bibliographies and index.

ISBN: 3540646086 (pbk)

LCCN: 98048449

Nat. Bib. No.: GB98-48449 Subjects--Topical Terms:

147517
Computer software
--Verification--Congresses.

Dewey Class. No.: 004.24

Computer aided verification :10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
LDR:00758cam _2200205 a_450 001 131532
005 19981116091953.0
008 980629s1998 enka 101 0 eng
010 $a 98048449
015 $a GB98-48449
020 $a 3540646086 (pbk)
035 $a 00059452
040 $a UKM $c UKM $d CUS $d OHX
072 7 $a QA $2 lcco
082 0 4 $a 004.24 $2 21
090 $a */004.24/H874/1998////087824
111 2 $a CAV'98 (Conference) $n (10th : $d 1998 : $c Vancouver, B.C.) $3 147514
245 1 0 $a Computer aided verification : $b 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / $c Alan J. Hu, Moshe Y. Vardi (eds.).
260 $a Berlin ; $a London : $b Springer, $c c1998.
300 $a ix, 552 p. : $b ill. ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 1427
504 $a Includes bibliographies and index.
650 0 $a Computer software $x Verification $v Congresses. $3 147517
650 0 $a Integrated circuits $x Verification $v Congresses. $3 147518
700 1 $a Hu, Alan J. $3 147515
700 1 $a Vardi, Moshe Y. $3 147516