TOP
紅利積點抵現金,消費購書更貼心
篩選商品
搜尋結果 /

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

5
1 / 1
軟件形式規格說明語言―Z(簡體書)
滿額折
出版日:2012/11/01 作者:繆淮扣; 陳怡海  出版社:清華大學出版社(大陸)  裝訂:平裝
《普通高等教育"十一五"國家級規劃教材?軟件工程專業核心課程系列教材:軟件形式規格說明語言(Z)》旨在討論軟件工程中形式方法的概念、方法和表示法,并詳細介紹Z的類型系統、數學語言和公理定義、通用式定義、模式等結構,還討論了z規格說明的推理和求精方法。《普通高等教育"十一五"國家級規劃教材?軟件工程專業核心課程系列教材:軟件形式規格說明語言(Z)》還介紹了面向對象的規格說明語言Object—Z和其他
優惠價:87 180
無庫存
軟件測試實踐教程(簡體書)
滿額折
出版日:2014/11/01 作者:蔡建平; 倪建成; 高仲合  出版社:清華大學出版社(大陸)  裝訂:平裝
軟件測試是軟件工程的一個重要分支,它對測試人員的專業知識、專業技術、專業能力要求極高,而目前企業對測
優惠價:87 235
無庫存
軟件測試方法與技術(簡體書)
滿額折
出版日:2014/01/01 作者:蔡建平; 王安生; 修佳鵬  出版社:清華大學出版社(大陸)  裝訂:平裝
本書是作者多年從事軟件測試技術研究及課程教學的成果和經驗總結。全書共分5部分,18章。第1部分(第1~第4章)是軟件測試基礎,涉及軟件測試的一些基本概念和基礎知識;第2部分(第5~第6章)詳細講述包括靜態測試及動態測試在內的軟件測試基本方法與技術;第3部分(第7~第8章)詳細講述包括缺陷管理、測試過程管理在內的軟件測試管理方法與技術;第4部分(第9~第14章)詳細介紹包括自動化測試、可靠性測試、安
優惠價:87 258
無庫存
嵌入式技術基礎與實踐:ARM Cortex-M0+Kinetis L系列微控制器(第3版)(簡體書)
87 折
出版日: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
無庫存
  • 5
    1

暢銷榜

客服中心

收藏

會員專區