Correctness-oriented approaches to software development

著者

• Gilmore, Stephen

書誌事項

Correctness-oriented approaches to software development

by Stephen Gilmore

University of Edinburgh, Department of Computer Science, 1991

注記

Includes bibliography (p. 166-168)

Author's thesis (Ph.D.)--Queen's University, Belfast 1990

CST-76-91 (also published as ECS-LFCS-91-147)

詳細情報

• NII書誌ID(NCID): BC10716732
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Edinburgh
• ページ数/冊数: x, 168 p.
• 大きさ: 21 cm