Reset Filters
LC: T - Technology

Cover is for reference only

Computer aided verification：10th international conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: University of British Columbia. Center for Integrated Computer Systems Research; CAV '98 1998 Vancouver, B.C.); University of British Columbia. Dept. of Computer Science
Group Author: Hu Alan J; Vardi Moshe Y
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1998.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1427
Subjects:
Computer software > Verification
Carrier Form: ix, 552 p.: ill. ; 24 cm.
ISBN: 3540646086
Index Number: TP301
CLC: TP301-532
TP306-532
TP391.76-532
Call Number: TP301-532/C738/1998/
Contents: Held at the University of British Columbia with the co-operation of the Computer Science Dept. and the Center for Integrated Computer Systems Research.
Includes bibliographies and index.

Related Book Recommendations