Research Catalog

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

Title
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
CAV (Conference) (10th : 1998 : Vancouver, B.C.)
Publication
Berlin ; London : Springer, [1998], ©1998.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.76.V47 C38 1998gOff-site

Details

Additional Authors
  • Hu, Alan J.
  • Vardi, Moshe Y.
Description
ix, 552 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1427
Uniform Title
Lecture notes in computer science ; 1427.
Subjects
Bibliography (note)
  • Includes bibliographies and index.
ISBN
3540646086 (pbk)
LCCN
gb 98048449
OCLC
ocm39442609
Owning Institutions
Columbia University Libraries