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

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

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

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

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

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

售價：HK$ 78.2

我要買 件

share:

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

新書推薦：
华南主要观赏树木图鉴
《 华南主要观赏树木图鉴 》
售價：HK$ 173.8
努斯：希腊罗马哲学研究（第8辑）--宇宙与自然：古希腊自然哲学诸面向
《 努斯：希腊罗马哲学研究（第8辑）--宇宙与自然：古希腊自然哲学诸面向 》
售價：HK$ 85.8
沉疴：大明最后二十年的十三张面孔
《 沉疴：大明最后二十年的十三张面孔 》
售價：HK$ 52.8
工程机械手册——钢筋及预应力机械
《 工程机械手册——钢筋及预应力机械 》
售價：HK$ 360.8
何以中国·何以大唐：唐帝国与突厥斗争史
《 何以中国·何以大唐：唐帝国与突厥斗争史 》
售價：HK$ 85.8
自学脉诊：图解《濒湖脉学》
《 自学脉诊：图解《濒湖脉学》 》
售價：HK$ 46.2
漫画非暴力沟通 好好说话写给孩子的社交话术让你的学习和生活会更加快乐正面管教的方式方法 教会父母如何正确教育叛逆期孩子 用引导性语言教育青少年男孩女孩 帮助孩子拥有健康心理的沟通方法
《 漫画非暴力沟通 好好说话写给孩子的社交话术让你的学习和生活会更加快乐正面管教的方式方法 教会父母如何正确教育叛逆期孩子 用引导性语言教育青少年男孩女孩 帮助孩子拥有健康心理的沟通方法 》
售價：HK$ 54.8
氢能利用关键技术系列--氢能材料
《 氢能利用关键技术系列--氢能材料 》
售價：HK$ 393.8

 
建議一齊購買：

+

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

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

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

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

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

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

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

 

 

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