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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5690-0553-0中外廉政文化研究王有粮 樊英杰 陈长宁 李莹
  2. ISBN 978-7-5614-7027-5民间资本在通胀时期的投资策略陈功
  3. ISBN 978-7-5614-4476-4四川人的本色彭胜云
  4. ISBN 7-5614-2533-3/TV.6掺气射流的冲刷许唯临，邓军，曲景学等
  5. ISBN 978-7-5614-7575-1幼儿园音乐游戏资源开发孙霞 主编
  6. ISBN 978-7-5690-1242-2理论创新与教学探索——四川大学“中国特色社会主义理论的新发展与思想政治理论课教学改革的新进展”论文集羊绍武 纪志耿
  7. ISBN 978-7-5614-7556-0知识管理与数字图书馆建设研究龚胜泉
  8. ISBN 978-7-5690-1049-7向上抑或向下——西方现代性思想及前卫艺术论稿邱晓林
  9. ISBN 978-7-5614-7971-1现代教育技术赖麟，陈代娟 主编
  10. ISBN 978-7-5690-1587-4黄少荃史论辑存黄少荃
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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