Introduction to VDM /

Saved in:
書目詳細資料
主要作者: Woodman, Mark
其他作者: Heal, Benedict
格式: 圖書
語言:英语
出版: London : McGraw-Hill, 1993.
叢編:McGraw-Hill International series in Software engineering.
主題:
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!