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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-4450-4《史记》写作文化研究杨丁友 著
  2. ISBN 978-7-5614-8590-3秦汉士人隐逸思想研究谭慧存 著
  3. ISBN 978-7-5614-7094-7西藏农牧民的民生发展——基于田野调查的综合实证研究杨明洪 著
  4. ISBN 978-7-5614-7488-4后金融危机时代美国美元汇率战略对我国影响研究龚秀国
  5. ISBN 978-7-5614-6517-2教书与育人边孟颖
  6. ISBN 978-7-5614-4616-4西南地区作物系统养分管理研究涂仕华
  7. ISBN 978-7-5614-6542-4道与化：传播视域下早期全真教的教化思想与实践白娴棠 著
  8. ISBN 978-7-5614-7795-3传承•创新 第五辑王仁强 主编
  9. ISBN 978-7-5690-1460-0民间习俗与国家法律：1912—1949年华北乡村土地买卖研究
  10. ISBN 978-7-5690-1512-6突发事件舆论引导实务刘洋 著
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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