Logic and specification : extending VDM-SL for advanced formal specification

著者

• Middelburg, Cornelis A.

書誌事項

Logic and specification : extending VDM-SL for advanced formal specification

Cornelis A. Middelburg

（Computer science: research and practice, 1）

Chapman & Hall Computing, 1993

注記

Includes bibliographical references (p.[391]-395) and index

詳細情報

• NII書誌ID(NCID): BA20038178
• ISBN:
  • 0412486806
• LCCN: 92038105
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: xi, 404 p.
• 大きさ: 24cm
• 親書誌ID:
  • BA20038349