安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

构件化软件动态更新与验证技术/徐小辉著

出版发行项:

天津:天津大学出版社,2018

ISBN及定价:

978-7-5618-6155-4/CNY80.00

载体形态项:

119页:图;24cm

并列正题名:

Dynamic update and verification technology of component-based software

丛编项:

学者文库.计算机

个人责任者:

徐小辉 著

学科主题:

构件-应用软件-软件开发

中图法分类号:

TP311.523

书目附注:

有书目 (第105-119页)

提要文摘附注:

本书内容包括: 绪论, 动态软件更新问题及研究现状, 构件化软件更新关健技术, 高级∏演算的动态更新支持技术, 构件化软件动态更新形式化技术, 动态软件更新支持技术实现及案例应, 总结与展望。

豆瓣简介：