南開科技大學圖書館 |

回首頁

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

紀錄類型:	書目-語言資料,印刷品 : 單行本
正題名/作者:	Computer aided verification :/ Alan J. Hu, Moshe Y. Vardi (eds.).
其他題名:	10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
其他作者:	Hu, Alan J.
團體作者:	CAV'98 (Conference)
出版者:	Berlin ;Springer,c1998.
面頁冊數:	ix, 552 p. :ill. ;24 cm.
叢書名:	Lecture notes in computer science,
標題:	Computer software - Congresses. - Verification -
ISBN:	3540646086 (pbk)

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