出版社
首页| 关于我们| 大川云雀| 出版管理系统
当前位置: 首页 > 图书中心 > 科技 > 计算机 > 正文

B方法与形式化软件开发技术研究

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

书号：ISBN 978-7-5614-5729-0

内容简介

书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法.

相关图书

  1. ISBN 978-7-5614-5080-2英德的传统地方社会与民俗谭伟伦、曾汉祥 主编
  2. ISBN 978-7-5614-5661-3符号与传媒(第4辑)赵毅衡、曹顺庆
  3. ISBN 978-7-5614-4854-0传承.创新(第四辑)严啟刚 主编
  4. ISBN 978-7-5614-5575-3新中国成立初期城市基层社会组织的重构研究——以成都为中心的考察（1949—1957）高中伟 著
  5. ISBN 978-7-5614-8863-8大脑功能模型构想王刚 黄海龙
  6. ISBN 7-5614-3211-9/G.661理想教育与理想实践张清明
  7. ISBN 978-7-5614-5801-3精思与心得——袁家玮教授数学教育文集袁家玮 著
  8. ISBN 978-7-5614-7667-3政府职能转变视域下的单位制度变迁－－以国有企业为主要模型的分析任学丽 著
  9. ISBN 978-7-5614-8712-9当头棒雷音
  10. ISBN 978-7-5614-3859-6/D.286法医学进展与实践（第六卷）侯一平，廖志钢
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

四川省成都市武侯区科华北路141号附1号，邮编：610065，邮箱：scupress@vip.163.com    Copyright © 2019-2025 四川大学出版社 All Rights Reserved   蜀ICP备05006382号