Algebraic specification techniques and tools for software development : the ACT approach

著者

• Claßen, Ingo
• Ehrig, Hartmut
• Wolz, Dietmar

書誌事項

Algebraic specification techniques and tools for software development : the ACT approach

Ingo Claßen, Hartmut Ehrig, Dietmar Wolz

（AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.], v. 1）

World Scientific, c1993

注記

Includes bibliographies

詳細情報

• NII書誌ID(NCID): BA21651066
• ISBN:
  • 9810212275
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore
• ページ数/冊数: xvi, 237 p.
• 大きさ: 23 cm
• 親書誌ID:
  • BA21651292