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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-7154-8网络思想政治教育行与思：以西华大学易班建设为例张力 主编
  2. ISBN 978-7-5614-8318-3劳资伙伴关系实践的内涵及其影响机制研究王德才
  3. ISBN 978-7-5614-7117-3公共政策创新的若干理论问题论纲江渝 著
  4. ISBN 978-7-5614-7373-3传承与创新——坚定不移沿着中国特色社会主义道路奋勇前进周治滨 李翔宇
  5. ISBN 978-7-5614-6055-9聂绀弩旧体诗研究于永森 著
  6. ISBN 978-7-5614-5701-6《说文解字》人体部位字研究任连明 李登桥 念颖 著
  7. ISBN 978-7-5614-5495-4真理与批判----阿多诺《美学理论》研究陈波 著
  8. ISBN 978-7-5614-5418-3青少年心理危机干预概论王燮辞 著
  9. ISBN 978-7-5614-8150-9工业设计研究（第二辑）屈立丰、周睿、祁娜、张玉萍 主编
  10. ISBN 7-5614-3017-5/I.308百年文体从头阅高卫红
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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