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

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

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

『簡體書』构建化软件动态更新与验证技术

書城自編碼: 3234137
分類:簡體書→大陸圖書→計算機/網絡软件工程/开发项目管理
作者: 徐小辉 著
國際書號(ISBN): 9787561861554
出版社: 天津大学出版社
出版日期: 2018-09-01


書度/開本: 16开

售價:HK$ 113.6

我要買

share:

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


新書推薦:
冯友兰和青年谈心系列:不是问题的问题(哲学大师冯友兰和年轻人谈心,命运解读)
《 冯友兰和青年谈心系列:不是问题的问题(哲学大师冯友兰和年轻人谈心,命运解读) 》

售價:HK$ 57.3
月与蟹(青鲤文库)荣获第144届直木奖,天才推理作家经典作品全新译本。一部青春狂想曲,带你登上心理悬疑之巅。
《 月与蟹(青鲤文库)荣获第144届直木奖,天才推理作家经典作品全新译本。一部青春狂想曲,带你登上心理悬疑之巅。 》

售價:HK$ 51.8
索恩丛书·盛清统治下的太监与皇帝
《 索恩丛书·盛清统治下的太监与皇帝 》

售價:HK$ 88.5
透过器物看历史(全6册)
《 透过器物看历史(全6册) 》

售價:HK$ 503.7
我在台北故宫博物院读名画
《 我在台北故宫博物院读名画 》

售價:HK$ 112.7
尼罗河往事:古埃及文明4000年
《 尼罗河往事:古埃及文明4000年 》

售價:HK$ 78.2
一个人·谁也不是·十万人(诺贝尔文学奖得主反思自我的巅峰之作)
《 一个人·谁也不是·十万人(诺贝尔文学奖得主反思自我的巅峰之作) 》

售價:HK$ 54.9
重写晚明史(全5册  精装)
《 重写晚明史(全5册 精装) 》

售價:HK$ 781.8

 

建議一齊購買:

+

HK$ 93.2
《互联网企业容器技术实践》
+

HK$ 100.1
《京东系统质量保障技术实战》
+

HK$ 114.6
《面向云计算环境的访问控制技术》
+

HK$ 133.5
《软件定义存储:原理、实践与生态》
+

HK$ 194.3
《软件安全性理论与实践》
+

HK$ 127.7
《软件定义数据中心——技术与实践(国内首部系统介绍软件定义数据》
內容簡介:
《构件化软件动态更新与验证技术》对应研究中,从构件化软件在运行时过程中动态更新的功能和非功能需求着手,首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案;其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求,扩展高阶演算(HO演算),以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制,开发一种刻画构件化软件动态更新的形式化演算(称为update演算),以期为动态更新安全性、一致性等的保证提供形式化推演机理;*后构建动态更新服务框架和支持平台,试图对所提议的关键技术问题及其解决方案加以技术实现,通过原型案例和实验分析来推导和验证构件化软件动态更新所采用的技术和方法。

 

 

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