Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada

著者

• Li, Hon F
• Probst, David Karl
• IFIP WG10.5
• IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods : 9th : 1997 : Montréal, Canada

書誌事項

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada

edited by Hon F. Li and David K. Probst

Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997

詳細情報

• NII書誌ID(NCID): BA37632672
• ISBN:
  • 0412813300
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: vi,310 p
• 大きさ: 24cm
• 件名:
  • LCSH : Computer engineering -- Congresses
  • LCSH : Computer software -- Verification -- Congresses