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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-5086-4全球化时代的美国四川大学美国研究中心 编
  2. ISBN 978-7-5614-5818-1民营上市公司股权结构与公司治理研究余澳 著
  3. ISBN 978-7-5614-6142-6示范诉讼制度研究郑妮 著
  4. ISBN 978-7-5614-8562-0中国特色社会主义道路形成的方法论研究张志
  5. ISBN 978-7-5614-8860-7刘克庄诗学思想研究何忠盛
  6. ISBN 978-7-5690-0622-3公民认同与移民整合——欧盟移民和公民政策的演进与移民政治参与陈昕彤
  7. ISBN 978-7-5614-3859-6/D.286法医学进展与实践（第六卷）侯一平，廖志钢
  8. ISBN 7-5614-3493-6/K.278川大史学·冯汉骥卷冯汉骥 著
  9. ISBN 978-7-5614-7855-4初中数学教学研究与案例分析潘超 赵思林 编著
  10. ISBN 978-7-5614-7894-3《美国历史学家组织主席演说集（1961—1990）》研究徐孝虎 杨永锋 喻海燕 李铭宇
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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