Computer-aided verification '90 :
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /
E. M. Clarke, R. P. Kurshan, editors.
- Providence, RI : Baltimore, Md. : American Mathematical Society ; Association for Computing Machinery, 1991.
- xii, 628 p. : ill. ; 27 cm.
- DIMACS series in discrete mathematics and theoretical computer science, v. 3. 1052-1798 ; .
"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.
0821865943 (AMS : alk. paper) 0897913868 (ACM : alk. paper)
Digital integrated circuits--Computer-aided design--Congresses.
Integrated circuits--Verification--Congresses.
621.3815 / CLC
"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.
0821865943 (AMS : alk. paper) 0897913868 (ACM : alk. paper)
Digital integrated circuits--Computer-aided design--Congresses.
Integrated circuits--Verification--Congresses.
621.3815 / CLC