Design, specification and verification of interactive systems '99 : proceedings of the Eurographics workshop in Braga, Portugal, June 2-4, 1999

著者

• Eurographics Workshop on Design, Specification, and Verification of Interactive Systems
• Duke, D.J.
• Puerta, A.

書誌事項

Design, specification and verification of interactive systems '99 : proceedings of the Eurographics workshop in Braga, Portugal, June 2-4, 1999

D. J. Duke, A. Puerta (eds.)

（Springer computer science, . Eurographics）

Springer, c1999

タイトル別名

Interactive systems '99

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA46028282
• ISBN:
  • 3211834052
• 出版国コード: au
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Wien
• ページ数/冊数: viii, 280 p.
• 大きさ: 25 cm
• 親書誌ID:
  • BA26297667