Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0821865943 (AMS : alk. paper)
- 0897913868 (ACM : alk. paper)
- 621.3815 20 CLC
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Library, Institute of Information and Communication Technology General Stacks | 621.3815 CLC (Browse shelf(Opens below)) | 1 | Available | I000313 | |
![]() |
Library, Institute of Information and Communication Technology General Stacks | 621.3815 CLC (Browse shelf(Opens below)) | 2 | Available | I000312 | |
![]() |
Library, Institute of Information and Communication Technology General Stacks | 621.3815 CLC (Browse shelf(Opens below)) | 3 | Available | I000311 |
"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.
Includes bibliographical references.
There are no comments on this title.