Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

Author(s)

• DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
• Clarke, Edmund
• Kurshan, R. P.

Bibliographic Information

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

E.M. Clarke, R.P. Kurshan, editors

（DIMACS series in discrete mathematics and theoretical computer science, v. 3）

American Mathematical Society , Association for Computing Machinery, c1991

• : AMS
• : ACM

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

Includes bibliographical references

Details

• NCID: BA13087672
• ISBN:
  • 0821865943
  • 0897913868
• LCCN: 91008815
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, RI,Baltimore, Md.
• Pages/Volumes: xii, 628 p.
• Size: 27 cm
• Classification:
  • LCC : TK7874
  • DC20 : 621.381/5
• Subject Headings:
  • LCSH : Digital integrated circuits -- Design and construction -- Data processing -- Congresses
  • LCSH : Computer-aided design -- Congresses
• Parent Bibliography ID:
  • BA12282377