Research Catalog
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
- Title
- Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan, editors.
- Publication
- Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 92-914 | Offsite |
Details
- Additional Authors
- Description
- xii, 628 p. : ill.; 27 cm.
- Series Statement
- DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 3
- Subjects
- Note
- "The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSF 92-914
- ISBN
- 0821865943 (AMS : alk. paper)
- 0897913868 (ACM : alk. paper)
- LCCN
- 91008815
- OCLC
- 23355319
- NYPG93-B10749
- Title
- Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan, editors.
- Imprint
- Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991.
- Series
- DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 3
- Bibliography
- Includes bibliographical references.
- Added Author
- Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020.Kurshan, R. P., 1943-
- Research Call Number
- JSF 92-914