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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5690-0678-0研习 实践 思索——四川大学华西公共卫生学院本科教育人才实践能力培养中的学生思想政治工作概述黄倩
  2. ISBN 978-7-5614-5027-7刑事诉讼热点问题专题研究韩旭
  3. ISBN 978-7-5614-7223-1凉山州可再生能源建筑应用熊梅 游潘丽 姚小波
  4. ISBN 978-7-5614-9956-6新媒体与传统媒体王琴
  5. ISBN 7-5614-3592-4/D.266现代性制度外衣下的传统组织——民国时期成都工商同业公会研究李柏槐 著
  6. ISBN 7-5614-3385-9/F.475价格理论与实践杨继瑞
  7. ISBN 978-7-5614-5550-0灾害应急血液保障王乃红 主编
  8. ISBN 978-7-5614-7992-6伤口评估和护理刘雅玲 郭宏 主编
  9. ISBN 978-7-5690-1238-5成渝城市群资源环境与经济协调发展研究刘登娟
  10. ISBN 978-7-5614-7808-0泛媒时代传统媒介的未来发展路径张诗婷 陈翀 张成华 朱亚铮
国家新闻出版署 国家版权局 中国出版网 中国高校教材图书网

大川课堂

微信公众号

微博

Copyright © 2019-2022 四川大学出版社 All Rights Reserved   蜀ICP备05006382号