官术网_书友最值得收藏!
首頁
>
軟件工程
11.1 形式化方法
書名:
軟件工程
作者名:
陳永
本章字數:
1533字
更新時間:
2019-10-28 10:58:58
上QQ閱讀APP看后續精彩內容
下載QQ閱讀APP,第一時間看更新
登錄訂閱本章 >
推薦閱讀
精通COBOL:大型機商業編程技術詳解(修訂版)
Android平板電腦開發實戰詳解和典型案例
軟件工程基礎教程
敏捷軟件開發(珍藏版)
企業性能測試:體系構建、落地指導與案例解讀
大數據處理系統:Hadoop源代碼情景分析
用戶體驗四維度
微服務架構原理與開發實戰
多面體編譯理論與深度學習實踐
HTML5游戲編程核心技術與實戰
構建跨平臺APP:jQuery Mobile移動應用實戰(第2版) (跨平臺移動開發叢書)
精益軟件度量——實踐者的觀察與思考
云原生網關Traefik:入門、進階與實戰
實時分析實戰:構建實時流處理應用和分析系統
Web前端性能優化
主站蜘蛛池模板:
紫金县
|
宝山区
|
荥经县
|
徐闻县
|
延吉市
|
大关县
|
鞍山市
|
永城市
|
西畴县
|
博乐市
|
沧州市
|
荣成市
|
理塘县
|
临高县
|
武宣县
|
浏阳市
|
河源市
|
冕宁县
|
重庆市
|
莱阳市
|
南乐县
|
红桥区
|
理塘县
|
沈阳市
|
大竹县
|
宁都县
|
邯郸县
|
安顺市
|
马龙县
|
青田县
|
凤翔县
|
江山市
|
两当县
|
土默特左旗
|
溧阳市
|
攀枝花市
|
灵璧县
|
玛多县
|
阜阳市
|
赤壁市
|
佛教
|