Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

Author(s)

• IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits
• Staunstrup, J. (Jørgen)
• Sharp, Robin

Bibliographic Information

Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

edited by Jørgen Staunstrup, Robin Sharp

（IFIP transactions, A . Computer science and technology ; 5）

North-Holland , Elsevier Science [distributor], 1992

• NCID: BA13963915
• ISBN:
  • 0444893350
• LCCN: 92005928
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York,[New York]
• Pages/Volumes: viii, 287 p.
• Size: 23 cm
• Classification:
  • LCC : TK7888.4
  • DC20 : 621.39/5
• Subject Headings:
  • LCSH : Electronic digital computers -- Circuits -- Design and construction -- Data processing -- Congresses
  • LCSH : Electronic circuit design -- Data processing -- Congressses
  • LCSH : Computer-aided design -- Congresses
• Parent Bibliography ID:
  • BA13962399