Design, specification, and verification of interactive systems '95 : proceedings of the Eurographics workshop in Toulouse, France, June 7-9, 1995

著者

• Eurographics Workshop on Design, Specification, and Verification of Interactive Systems
• Palanque, P. (Philippe)
• Bastide, R. (Rémi)

書誌事項

Design, specification, and verification of interactive systems '95 : proceedings of the Eurographics workshop in Toulouse, France, June 7-9, 1995

P. Palanque and R. Bastide (eds.)

（Springer computer science, . Eurographics）

Springer, c1995

タイトル別名

Interactive systems '95

注記

Includes bibliographical references

詳細情報

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