Specification case studies in RAISE

著者

• Dang Van, Hung

書誌事項

Specification case studies in RAISE

Hung Dang Van...[et al.] (Eds.)

（Formal approaches to computing and information technology (FACIT)）

Springer, 2002

注記

Includes bibliographical references (p.397-405)

詳細情報

• NII書誌ID(NCID): BA56574700
• ISBN:
  • 1852333596
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: xv, 405 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA2187111X