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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 7-5614-2641-0/G.470语文教海拾贝邱万福
  2. ISBN 978-7-5614-5291-2四川省内外经济的均衡发展尹宏祯 著
  3. ISBN 978-7-5614-6142-6示范诉讼制度研究郑妮 著
  4. ISBN 978-7-5614-7542-3汉语词汇语法专题与对外汉语教学研究吴开秀 王静 陈永花
  5. ISBN 978-7-5614-5254-7基于管理熵理论的组织知识管理绩效综合集成评价研究熊学兵 著
  6. ISBN 978-7-5614-8441-8关于海上行政法学理论基础的思考——沿着我国海上行政执法发展的脉络李林
  7. ISBN 978-7-5614-4222-7民国基层社会纠纷及其裁断——以新繁档案为依据里赞等
  8. ISBN 978-7-5614-5258-5审讯的规范性与策略性研究马李芬 著
  9. ISBN 7-5614-3236-4/D.242毒品问题研究蒋和平
  10. ISBN 978-7-5614-4871-7上市公司现金持有动机与投融资行为研究张凤 著
国家新闻出版署 国家版权局 中国出版网 中国高校教材图书网

大川课堂

微信公众号

微博

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