出版社
首页| 关于我们| 大川云雀| 出版管理系统
当前位置: 首页 > 图书中心 > 学术著作 > 正文

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-5769-6南朝诗僧研究包得义 陈星宇 王树平
  2. ISBN 978-7-5614-6317-8四川高校党建研究论文选编(三)杨泉明
  3. ISBN 978-7-5614-9514-8现代商品管理理论与实务陈襄 揭筱纹 刘红叶 刘旭红 宋建明
  4. ISBN 978-7-5614-5059-8四川省城乡一体化建设的法制调研与立法建议倪怀敏 著
  5. ISBN 978-7-5614-4082-7/F.551区域经济一体化之下的经济互动与产业对接李欣广等
  6. ISBN 978-7-5614-4621-8中国古名家言伍非百
  7. ISBN 978-7-5614-8601-6高校音乐教育与声乐教学研究刘超
  8. ISBN 978-7-5614-7796-0学本式卓越课堂案例分析与问题解决龚雄飞 主编
  9. ISBN 978-7-5614-4404-7网络语言的传播与控制研究：兼论未成年人网络素养教育王炎龙 著
  10. ISBN 978-7-5614-4320-0中医三才医学论吕即来 编著
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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