Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

Author(s)

• Milne, George J.
• Pierre, Laurence
• Advanced Research Working Conference on Correct Hardware Design Methodologies

Bibliographic Information

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

George J. Milne, Laurence Pierre (eds.)

（Lecture notes in computer science, 683）

Springer-Verlag, c1993

• : gw
• : us

Note

Includes bibliographical references

Details

• NCID: BA2032266X
• ISBN:
  • 354056778X
  • 038756778X
• LCCN: 93199765
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: vi, 269 p.
• Size: 24 cm
• Classification:
  • LCC : TK7874
  • LCC : TK7874.75
  • DC20 : 621.39/2
• Subject Headings:
  • LCSH : Integrated circuits -- Design nd construction -- Data procesing -- Congresses
  • LCSH : Integrated circuits -- Verification -- Congresses
  • LCSH : Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses
• Parent Bibliography ID:
  • BA00009279