登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入 新註冊 |　新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 周制与秦制 》 售價：NT$ 717.0 《 花路 》 售價：NT$ 493.0 《 万亿指数 》 售價：NT$ 493.0 《 中世纪英国的财政、军事与外交（中外文明传承与交流研究书系） 》 售價：NT$ 437.0 《 缺席者的历史：以色列十个遗失的部落 》 售價：NT$ 437.0 《 晚清洋务运动始末 》 售價：NT$ 447.0 《 美索不达米亚神话 》 售價：NT$ 391.0 《 别害怕吵架：教孩子在冲突中学会正向沟通 》 售價：NT$ 274.0

建議一齊購買： + NT$ 435 《 互联网企业容器技术实践 》 + NT$ 497 《 京东系统质量保障技术实战 》 + NT$ 569 《 面向云计算环境的访问控制技术 》 + NT$ 668 《 软件定义存储：原理、实践与生态 》 + NT$ 872 《 软件安全性理论与实践 》 + NT$ 573 《 软件定义数据中心——技术与实践（国内首部系统介绍软件定义数据中心的专业书籍，众多业界专家倾力奉献，揭秘如何实现软件定义数据中心，理论与企业案例完美融合，呈现云计算时代的数据中心最佳解决方案） 》 內容簡介： 《构件化软件动态更新与验证技术》对应研究中，从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案；其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶演算（HO演算），以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算（称为update演算），以期为动态更新安全性、一致性等的保证提供形式化推演机理；*后构建动态更新服务框架和支持平台，试图对所提议的关键技术问题及其解决方案加以技术实现，通过原型案例和实验分析来推导和验证构件化软件动态更新所采用的技术和方法。

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