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

Almeida, Jose Bacelar.

概要
作品: 3 作品在 0 項出版品 0 種語言
書目資訊
Rigorous software development = an introduction to program verification / by: Almeida, Jose Bacelar.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入