机读格式显示(MARC)
- 010 __ |a 978-7-5618-6155-4 |d CNY80.00
- 099 __ |a CAL 012018106684
- 100 __ |a 20180806d2018 em y0chiy50 ea
- 200 1_ |a 构件化软件动态更新与验证技术 |A gou jian hua ruan jian dong tai geng xin yu yan zheng ji shu |d = Dynamic update and verification technology of component-based software |f 徐小辉著 |z eng
- 210 __ |a 天津 |c 天津大学出版社 |d 2018
- 215 __ |a 119页 |c 图 |d 24cm
- 225 2_ |a 学者文库 |A xue zhe wen ku |i 计算机
- 320 __ |a 有书目 (第105-119页)
- 330 __ |a 本书内容包括: 绪论, 动态软件更新问题及研究现状, 构件化软件更新关健技术, 高级∏演算的动态更新支持技术, 构件化软件动态更新形式化技术, 动态软件更新支持技术实现及案例应, 总结与展望。
- 410 _0 |1 2001 |a 学者文库 |i 计算机
- 510 1_ |a Dynamic update and verification technology of component-based software |z eng
- 606 0_ |a 构件 |A gou jian |x 应用软件 |x 软件开发
- 701 _0 |a 徐小辉 |A xu xiao hui |4 著
- 801 _0 |a CN |b 湖北三新 |c 20180806
- 905 __ |a AUSTL |d TP311.523/X879