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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-8315-2企业社会责任理论及其推动力研究李恒 黄雯
  2. ISBN 978-7-5614-6098-6民国时期的县级行政权力与地方社会控制——以1928-1949年川康地区县政整改为例王春英
  3. ISBN 978-7-5614-7690-1民族村寨旅游中社会文化影响的居民感知研究－－四川甲居藏寨的个案调查刘韫
  4. ISBN 7-5614-2506-6/I.285中国古诗形义述论王乙
  5. ISBN 978-7-5614-5105-2李白与四川吴明贤 著
  6. ISBN 978-7-5614-6124-2中国诗学精要 吴廷玉
  7. ISBN 978-7-5690-0619-3《译峨籁》校注艾茂莉
  8. ISBN 978-7-5614-6266-9艺术研究与评论(一)曹顺庆 主编
  9. ISBN 978-7-5614-7231-6游客体验视域下的目的地品牌管理理论及实践冯斌 张春阳 胡洁 著
  10. ISBN 978-7-5690-1818-9德里达解构主义的认知机制研究——认知诗学视野下的解构主义
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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