出版社
首页| 关于我们| 出版管理系统
当前位置: 首页 > 图书中心 > 科技 > 计算机 > 正文

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-4860-1农村教育共同体构建柯玲 著
  2. ISBN 978-7-5614-4221-0高等院校职务犯罪防控研究刘京美
  3. ISBN 978-7-5614-8296-4《未来诗歌》译介与研究曾昂，马颖，刘念，陈丽 著
  4. ISBN 7-5614-3568-1/G.800中学数学思想方法专题选讲黄忠裕
  5. ISBN 978-7-5614-5309-4北宋诗人沈辽研究林阳华 常先莆 李懿
  6. ISBN 978-7-5614-5699-6自白任意性规则研究刘英俊
  7. ISBN 978-7-5614-4326-2彝族地区历史地理研究郭声波 著
  8. ISBN 978-7-5614-5843-3生态文明视野下汶川地震灾区绿色产业发展研究邓丽 谢继华 著
  9. ISBN 978-7-5614-4251-7中外文化与文论（17）曹顺庆等
  10. ISBN 978-7-5614-7889-9川大史学 冯汉骥 英文卷冯汉骥
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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