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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5690-0167-9基于实用目的的高职院校公共英语教材研究易衡、 肖峰
  2. ISBN 978-7-5614-5899-0教师健康人格及其养成杨多 李元进 张拴云
  3. ISBN 7-5614-2334-9/K.236范仲淹全集李勇先，王蓉贵
  4. ISBN 978-7-5614-4448-1基于星系模型的我国保险公司竞争力评价研究罗亚玲 著
  5. ISBN 7-5614-2278-4/E.3公安执法管理赵健
  6. ISBN 978-7-5614-7671-0女真统治下的儒学传承：金代儒学及儒学文献研究杨珩
  7. ISBN 978-7-5614-8917-8成都与抗战时期的中国空军王苹 许蓉生 胡越英
  8. ISBN 978-7-5690-0639-1中国体育纪录片视觉文化传播理念的嬗变研究（2001—2016）梁湘梓、贾倩、宁珂、刘海海
  9. ISBN 978-7-5614-4290-6宋代法律体系与中华法系吕志兴
  10. ISBN 978-7-5614-9503-2璧山佛迹——璧山佛教遗址碑拓辑录道坚法师
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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