The Object-Z specification language

著者

• Smith, Graeme

書誌事項

The Object-Z specification language

by Graeme Smith

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

Kluwer Academic, c2000

注記

Includes bibliographical references & index

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