登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入   新用戶註冊
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / 物流,時效:出貨後2-4日

2025年02月出版新書

2025年01月出版新書

2024年12月出版新書

2024年11月出版新書

2024年10月出版新書

2024年09月出版新書

2024年08月出版新書

2024年07月出版新書

2024年06月出版新書

2024年05月出版新書

2024年04月出版新書

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

『簡體書』可信软件基础研究

書城自編碼: 3332316
分類: 簡體書→大陸圖書→計算機/網絡软件工程/开发项目管理
作者: 可信软件基础研究项目组 著
國際書號(ISBN): 9787308188715
出版社: 浙江大学出版社
出版日期: 2019-04-01


書度/開本: 16开

售價:NT$ 428

我要買

share:

** 我創建的書架 **
未登入.



內容簡介:
本书系自然科学基金重大研究计划可信软件基础研究的出版成果。本书以关键应用领域中软件可信性问题为主攻目标,针对软件可信性度量与建模、可信软件的构造与验证、可信软件的演化和控制和可信环境的构造与评估等科学问题,从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究,取得了重要成果和进展。

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 台灣用户 | 香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2025 (香港)大書城有限公司 All Rights Reserved.