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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-4306-4外国语言文学与文化论丛（9）四川大学外国语学院 编著
  2. ISBN 7-5614-2954-1/B.127政治哲学杨明伟
  3. ISBN 978-7-5614-3889-3/D.290可持续发展与多元社会和谐：新加坡经验李韶鉴
  4. ISBN 978-7-5614-9802-6刑事诉讼热点问题研究吕国凡 安琪 熊德禄 张志华
  5. ISBN 978-7-5690-0641-4抗战大后方保甲整编与户籍整理概观——以四川荣县为中心的考察李莹
  6. ISBN 7-5614-2253-9/F.354资本市场监管的系统分析孙涌
  7. ISBN 978-7-5614-8098-4经济学视角下的企业文化研究李少武等 编著
  8. ISBN 978-7-5690-0420-5孔子箴言录——论语精编新解罗志霖
  9. ISBN 978-7-5614-4771-0行政证据学基本问题研究徐继敏
  10. ISBN 978-7-5690-1183-8詹豪强文集（第二卷 海坛夜话）詹豪强
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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