Research Catalog

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Title
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.).
Author
CAV (Conference) (14th : 2002 : Copenhagen, Denmark)
Publication
Berlin ; New York : Springer, 2002.

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 2002gOff-site

Details

Additional Authors
  • Brinksma, Ed.
  • Larsen, K. G. (Kim G.), 1957-
Description
xiii, 626 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 2404
Uniform Title
Lecture notes in computer science ; 2404.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540439978 (pbk.)
OCLC
  • ocm50254571
  • SCSB-4295803
Owning Institutions
Columbia University Libraries