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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-5033-8固本与开新：晏阳初的平民教育思想研究扈远仁、唐志成、杜学元、王小丁等
  2. ISBN 7-5614-2042-0/O.162实现新的跨越罗中枢
  3. ISBN 7-5614-2739-5/G.504新闻传播研究欧阳宏生
  4. ISBN 978-7-5690-0944-6非讼实现担保物权案例研究李林启
  5. ISBN 7-5614-3365-4/B.151儒藏论坛（第一辑）舒大刚
  6. ISBN 978-7-5614-8825-6中学语文课堂教育教学探究柏章发
  7. ISBN 978-7-5690-1114-2民国荣县档案选编·抗战（续）陈长宁、周格子、毛春雨、陈佳文、席泽坤 著
  8. ISBN 978-7-5614-4295-1广告的性别再现彭小华
  9. ISBN 978-7-5614-4246-3Public Universities and Regional Development(公立大学与区域发展)Kathryn Mohrman, Jian Shi, Sharon Feinblatt, King W. Chow
  10. ISBN 978-7-5614-4395-8反劫持人质犯罪研究张跃兵 编著
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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