Software engineering with OBJ : algebraic specification in action

著者

• Goguen, Joseph
• Malcolm, Grant

書誌事項

Software engineering with OBJ : algebraic specification in action

edited by Joseph Goguen, Grant Malcolm

（Advances in formal methods / series editor, Michael Hinchey）

Kluwer Academic, c2000

注記

Includes bibliographical references & index

詳細情報

• NII書誌ID(NCID): BA46825950
• ISBN:
  • 0792377575
• LCCN: 00022759
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston ; Dordrecht ; London
• ページ数/冊数: xxvi, 410 p.
• 大きさ: 25 cm
• 親書誌ID:
  • BA46490182