《普通高等教育"十一五"國家級規劃教材?軟件工程專業核心課程系列教材:軟件形式規格說明語言(Z)》旨在討論軟件工程中形式方法的概念、方法和表示法，并詳細介紹Z的類型系統、數學語言和公理定義、通用式定義、模式等結構，還討論了z規格說明的推理和求精方法。《普通高等教育"十一五"國家級規劃教材?軟件工程專業核心課程系列教材:軟件形式規格說明語言(Z)》還介紹了面向對象的規格說明語言Object—Z和其他

優惠價：87 180

無庫存

滿額折

軟件工程過程(軟件工程專業核心課程系列教材)（簡體書）

出版日：2009/11/01 作者：林廣豔 出版社：清華大學出版社(大陸) 裝訂：平裝

本書系統地介紹了軟件生存周期過程的基本概念和軟件開發過程中包含的關鍵活動，從歷史的角度介紹了軟件過程模型的演進歷程。通過對已成功地應用于軟件企業的Infosys模型和協同過程模型的介紹，具體說明了軟件生存周期過程中涉及的眾多過程、活動與任務間的內在聯系以及實施中需要注意的事項。介紹了建立、管理及在優化軟件過程中需要考慮的基本問題。本書是作者多年從事軟件開發與管理過程中積累的經驗和軟件工程教學實踐的

優惠價：1 120

無庫存

滿額折

軟件項目管理與案例分析(第2版)（簡體書）

出版日：2014/01/01 作者：蕭來元; 吳濤; 陸永忠; 武劍潔 出版社：清華大學出版社(大陸) 裝訂：平裝

《軟件項目管理與案例分析（第2版）/普通高等教育“十一五”國家級規劃教材·軟件工程專業核心課程系列教材》系統講述軟件項目管理的基本概念、基本原理及基本方法，包含當前相關知識領域的最新發展概況。《軟件項目管理與案例分析（第2版）/普通高等教育“十一五”國家級規劃教材·軟件工程專業核心課程系列教材》共分12章，圍繞軟件項目管理過程展開論述，內容涉及軟件開發過程管理、軟件項目質量管理、軟件需求管

優惠價：87 151

無庫存

滿額折

軟件測試實踐教程（簡體書）

出版日：2014/11/01 作者：蔡建平; 倪建成; 高仲合 出版社：清華大學出版社(大陸) 裝訂：平裝

軟件測試是軟件工程的一個重要分支，它對測試人員的專業知識、專業技術、專業能力要求極高，而目前企業對測

優惠價：87 235

無庫存

滿額折

軟件測試方法與技術（簡體書）

出版日：2014/01/01 作者：蔡建平; 王安生; 修佳鵬 出版社：清華大學出版社(大陸) 裝訂：平裝

本書是作者多年從事軟件測試技術研究及課程教學的成果和經驗總結。全書共分5部分，18章。第1部分（第1~第4章）是軟件測試基礎，涉及軟件測試的一些基本概念和基礎知識；第2部分（第5~第6章）詳細講述包括靜態測試及動態測試在內的軟件測試基本方法與技術；第3部分（第7~第8章）詳細講述包括缺陷管理、測試過程管理在內的軟件測試管理方法與技術；第4部分（第9~第14章）詳細介紹包括自動化測試、可靠性測試、安

優惠價：87 258

無庫存

滿額折

嵌入式技術基礎與實踐實驗指導(第2版)（簡體書）

出版日：2011/08/05 作者：曹金華; 王宜懷; 沈安東 出版社：清華大學出版社(大陸) 裝訂：平裝

《嵌入式技術基礎與實踐實驗指導(第2版)》共分10章。第1～2章為嵌入式實驗系統開發軟件和硬件設備，介紹了學習嵌入式系統的軟件工具和硬件工具，如何自制嵌入式系統的軟件開發和硬件構建；第3章為普通輸入輸出口(I／O)入門實驗，引導學生學習軟件開發工具和構建簡單的實驗，以便掌握I／O口的入門知識；第4章為串行通信入門實驗，引導學生結合PC高端做串行通信SCI的實驗，以便掌握簡單的通信入門知

優惠價：1 108

無庫存

87 折

嵌入式技術基礎與實踐：ARM Cortex-M0+Kinetis L系列微控制器(第3版)（簡體書）

出版日：2013/08/13 作者：王宜懷; 朱仕浪; 郭芸 出版社：清華大學出版社(大陸) 裝訂：平裝

本書以飛思卡爾(Freescale)的ARM CortexM0+內核的Kinetis L系列微控制器為藍本闡述嵌入式系統的軟件與硬件設計。全書共14章，其中第1章為概述，簡要闡述嵌入式系統的知識體系、學習誤區與學習建議。第2章和第3章給出ARM CortexM0+簡介及KL25硬件最小系統。第4章給出第一個樣例程序及CW開發環境下的工程組織方法，完成第一個KL25

到貨時通知我

滿額折

軟件工程專業英語（簡體書）

出版日：2014/12/01 作者：呂雲翔 出版社：清華大學出版社(大陸) 裝訂：平裝

本書是按照最新《大學英語教學大綱》對專業英語的要求，以一個大學本科二年級學生Kevin與他的同學在一個酒店執行資訊系統的實際項目中進行專業實踐、直至經過求職面試進入一個IT企業工作為線索，將IT行業中所需的英語“聽、說、讀、寫、譯”基本技能與專案從開始到結束的整個流程有機融合起來，同時涉及雲計算、移動互聯網、大資料、物聯網、社交網路、基於位置的服務、通用計算圖形處理器、比特幣、三維列印和穀歌眼鏡等

優惠價：87 206

無庫存

共 8筆

第 1 頁

熱搜：

【12/15開放預購】蔣中正日記限量套書

香港聯合出版全面79折

登入領月月讀書金

2026台北市政府日曆

追憶似水年華(噴繪法式軟精裝)

奧術降臨曆

淡江出版5折起

汪榮祖精選書展

軟件工程專業核心課程系列教材

軟件形式規格說明語言―Z（簡體書）