語系
跳至 : 概要 | 書目資訊 | 主題

Watson, Bruce W.

概要
作品: 2 作品在 1 項出版品 1 種語言
書目資訊
The correctness-by-construction approach to programming[electronic resource] / by: Kourie, Derrick G.; SpringerLink (Online service); Watson, Bruce W. (書目-語言資料,印刷品)
 
 
變更密碼
登入