軟件開發的形式化工程方法:結構化+面向對像+形式化(國外經典教材·計算機科學與技

軟件開發的形式化工程方法:結構化+面向對像+形式化(國外經典教材·計算機科學與技

作者:by Shaoying Liu (Author) (1st Edition) (Springer) (Paperback), 出版社:清華大學出版社, 出版日期:2008-08-01

定價 450 元, 最低 360 元起... 668book了得購物網 台灣店 完整列出比價資訊...

商品條碼:9787302183174, ISBN:7302183171
分類標籤:Subjects » Books » Programming » Software Design, Testing & Engineering » Software Engineering

 

內容簡介

軟件開發的形式化工程方法:結構化+面向對像+形式化(國外經典教材·計算機科學與技
商品簡介由 了得購物網 台灣店 所提供