Computer-aided verification '90: proceedings of a DIMACS workshop, June 18-21, 1990/ E. M. Clarke, R. P. Kurshan, editors.
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 3.Publication details: Providence, R.I.: American Mathematical Society, Baltimore: Association for Computing Machinery, 1991.Description: xii, 628 p.: ill.; 27 cmISBN:- 0821865943 (AMS : alk. paper)
- 0897913868 (ACM : alk. paper)
- 621.38 C738
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 621.38 C738 1991 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000163199 |
"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.