面向對象軟體規格說明的構造及確認技術研究

《面向對象軟體規格說明的構造及確認技術研究》作者陳怡海,2011年上海大學出版社出版。

基本介紹

  • 書名:面向對象軟體規格說明的構造及確認技術研究
  • 頁數:134頁
  • 出版社上海大學出版社
  • 出版時間:2011
面向對象軟體規格說明的構造及確認技術研究
文獻類型:專著
責任者: 陳怡海
出版、發行者: 上海大學出版社
出版發行時間:2011
來源資料庫:館藏中文資源
所有責任者: 陳怡海[著]
所有題名: 並列正題名:The study of construction and validation of object-oriented formal specificationStudy of construction and validation of object-oriented formal specification
標識號: ISBN:978-7-81118-648-2
出版、發行地: 上海
關鍵字: 軟體開發---研究
語種: Chinese 漢語
分類: 中圖分類:TP311.52
叢編題名: 2007年上海大學博士學位論文
載體形態: 134頁

相關詞條

熱門詞條

聯絡我們