登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書

『簡體書』The Fundamental Research for Trustworthy Software（可信软件基础研究）

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

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 85.0

我要買 件

 

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

新書推薦：
三体（全三册）
《 三体（全三册） 》
售價：HK$ 113.5
天象之维：汉画像中的天文与人文
《 天象之维：汉画像中的天文与人文 》
售價：HK$ 105.0
妓女与文人
《 妓女与文人 》
售價：HK$ 38.4
舵手证券图书 短线交易大师：工具和策略 24年新修订版 实战验证的交易技术 经典外版书
《 舵手证券图书 短线交易大师：工具和策略 24年新修订版 实战验证的交易技术 经典外版书 》
售價：HK$ 93.6
中国古兵器集成
《 中国古兵器集成 》
售價：HK$ 816.0
空腹力+轻断食：正在横扫全球的瘦身革命（全2册）
《 空腹力+轻断食：正在横扫全球的瘦身革命（全2册） 》
售價：HK$ 123.6
临床牙周病学和口腔种植学 第7版
《 临床牙周病学和口腔种植学 第7版 》
售價：HK$ 1557.6
全球高考（礼盒装 全3册）
《 全球高考（礼盒装 全3册） 》
售價：HK$ 216.0

 
建議一齊購買：

+

HK$ 210.0
《 算法竞赛（清华科技大讲堂） 》		 +

HK$ 235.0
《 SEO实战密码——60天网站流量提高20倍（第4版） 》		 +

HK$ 144.0
《 大数据测试技术与实践（全彩印刷） 》		 +

HK$ 172.5
《 恶意软件分析与检测 》		 +

HK$ 172.5
《 机器学习方法 》		 +

HK$ 196.4
《 Project 2019企业项目管理实践 》
內容簡介：
【丛书介绍】
“中国基础研究报告”丛书是国家自然科学基金委员会首次组织的整体展示我国基础研究水平和格局的丛书，系统展示了我国重点布局的关键基础研究领域的重大原创成果，反映了我国近年来在基础前沿领域的飞跃式发展，代表了我国基础科学研究的最高水平。
丛书主编杨卫院士评价该丛书为“我国基础研究的‘史书’记载”。该丛书可为今后的研究者提供丰富的科研素材和创新源泉，将引领相关学科研究领域的持续发展，对推动我国基础研究发展和世界科技强国建设起到积极的促进作用，对实现我国重大基础研究成果的传播和普及具有重大的社会和经济价值。

【本书介绍】
《The Fundamental Research for Trustworthy Software（可信软件基础研究）》
本书为“中国基础研究报告”丛书《可信软件基础研究》英文版，由何积丰院士担任主编，基于国家自然科学基金重大研究计划“可信软件基础研究”的研究成果写作完成。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”“可信软件的构造与验证”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性重要成果和进展进行了深入阐释。
本书主编为何积丰，计算机软件专家，主要从事计算机软件理论及应用研究。
關於作者：
可信软件基础研究项目组指导专家组组长为何积丰。何积丰，计算机软件专家，中国科学院院士，华东师范大学软件学院院长、教授、博士生导师。主要从事计算机软件理论及应用研究。

 

 

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