Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.).

Author/creator CAV'98 (Conference)
Other author Hu, Alan J.
Other author Vardi, Moshe Y.
Format Book
Publication InfoBerlin ; London : Springer, ©1998.
Descriptionix, 552 pages : illustrations ; 24 cm.
Subjects
Computer software--Verification. --Congresses.
Integrated circuits--Verification. --Congresses.

SeriesLecture notes in computer science ; 1427
Lecture notes in computer science 1427. ^A466336
Bibliography noteIncludes bibliographies and index.
LCCNgb 98048449
ISBN3540646086 (pbk)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.76.V47 C38 1998 ✔ Available Place Hold