Module specifications and constraints

著者

• Ehrig, Hartmut
• Mahr, Bernd

書誌事項

Module specifications and constraints

（EATCS monographs on theoretical computer science, v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2）

Springer-Verlag, c1990

• : us
• : gw

タイトル別名

Algebraic specification

注記

Bibliography: p. [403]-421

Includes index

• NII書誌ID(NCID): BA0792476X
• ISBN:
  • 0387517995
  • 3540517995
• LCCN: 85004784
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: xi, 427 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.D35
  • DC19 : 001.64/2
• 件名:
  • LCSH : Data structures (Computer science)
  • LCSH : Algebra
• 親書誌ID:
  • BA00007320