Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

著者

• FMCAD (Conference)
• Hu, Alan J.
• Martin, Andrew K.

書誌事項

Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Alan J. Hu, Andrew K. Martin (eds.)

（Lecture notes in computer science, 3312）

Springer, c2004

タイトル別名

Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 2004 : proceedings

注記

Includes bibliographies and index

詳細情報

• NII書誌ID(NCID): BA70254878
• ISBN:
  • 3540237380
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: xi, 444 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA00009279