Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications

著者

• Tan, Yang Meng

書誌事項

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications

Tan, Yang Meng

[Tan, Yang Meng], 1994

マイクロ形態（マイクロフィッシュ）

詳細情報

• NII書誌ID(NCID): BB03742134
• 出版国コード: xx
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [S.l.]
• ページ数/冊数: 2 microfiche
• 大きさ: 11×15 cm