Formal specification using Z

著者

• Lightfoot, David

書誌事項

Formal specification using Z

David Lightfoot

（Grassroots series）

Palgrave, 2001

2nd ed

• : paperback

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA50811075
• ISBN:
  • 0333763270
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: xii, 164 p.
• 大きさ: 25 cm
• 分類:
  • DC20 : 005.133
• 親書誌ID:
  • BA50707368