Research Catalog
Computer-aided verification : proceedings : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990
- Title
- Computer-aided verification : proceedings : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan (eds.).
- Author
- CAV (Conference) (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
- Publication
- Berlin ; New York : Springer-Verlag, c1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | JSF 92-114 | Offsite |
Details
- Additional Authors
- Description
- xiii, 372 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 531
- Subject
- Note
- "Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991"--Pref.
- Bibliography (note)
- Includes bibliographic references.
- Call Number
- JSF 92-114
- ISBN
- 3540544771 (Berlin : alk. paper)
- 0387544771 (N.Y. : alk. paper)
- LCCN
- 91026277
- OCLC
- 24286610
- NYPG92-B1020
- Conference
- CAV (Conference) (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
- Title
- Computer-aided verification : proceedings : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan (eds.).
- Imprint
- Berlin ; New York : Springer-Verlag, c1991.
- Series
- Lecture notes in computer science ; 531
- Bibliography
- Includes bibliographic references.
- Added Author
- Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020.Kurshan, R. P., 1943-CAV (Conference) (1990 : Center for Discrete Mathematics and Theoretical Computer Science) Computer-aided verification '90.
- Research Call Number
- JSF 92-114