Using Z : specification, refinement, and proof

著者

• Woodcock, James
• Davies, Jim

書誌事項

Using Z : specification, refinement, and proof

Jim Woodcock and Jim Davies

（Prentice-Hall International series in computer science）

Prentice Hall, 1996

注記

Includes index

Some printings published: Harlow ; Tokyo : Pearson Education

詳細情報

• NII書誌ID(NCID): BA27865222
• ISBN:
  • 0139484728
• LCCN: 96004347
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London ; Tokyo
• ページ数/冊数: xvi, 386 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.73.Z2
  • DC20 : 005.1/2
• 件名:
  • LCSH : Z (Computer program language)
• 親書誌ID:
  • BA00010507