Formal specification using Z

著者

• Lightfoot, David

書誌事項

Formal specification using Z

David Lightfoot

（Macmillan computer science series）

Macmillan, 1991

注記

Includes index

• NII書誌ID(NCID): BB26211148
• ISBN:
  • 0333544080
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Basingstoke
• ページ数/冊数: xi,164p
• 大きさ: 24cm
• 分類:
  • DC20 : 005.133
• 親書誌ID:
  • BA00169581