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

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

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

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

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


書度/開本: 16开

售價:HK$ 113.6

我要買

 

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


新書推薦:
寒柳:柳如是传
《 寒柳:柳如是传 》

售價:HK$ 82.8
罗大伦解读《伤寒论》(17个经典方剂,60+医案详解,从病案到医方,讲透中医的智慧)
《 罗大伦解读《伤寒论》(17个经典方剂,60+医案详解,从病案到医方,讲透中医的智慧) 》

售價:HK$ 78.0
进化战略家
《 进化战略家 》

售價:HK$ 82.8
瑜伽新史:从古印度到现代西方
《 瑜伽新史:从古印度到现代西方 》

售價:HK$ 153.6
盘扣制作入门必备
《 盘扣制作入门必备 》

售價:HK$ 69.6
明朝大悲咒(第六届茅盾文学奖得主  《张居正》作者熊召政明史随笔)
《 明朝大悲咒(第六届茅盾文学奖得主 《张居正》作者熊召政明史随笔) 》

售價:HK$ 66.0
野村克也胜负哲学
《 野村克也胜负哲学 》

售價:HK$ 64.8
穿越中亚:从阿拉木图到大不里士
《 穿越中亚:从阿拉木图到大不里士 》

售價:HK$ 69.6

 

建議一齊購買:

+

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.