出版社
当前位置: 首页 > 图书中心 > 学术著作 > 正文

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

作者:崔梦天 韩伟 著

责任编辑:曾鑫

出版时间:2012-03-23

定价: 28元

浏览:

丛书名:

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-7880-6易经全本详解王道正 注译
  2. ISBN 978-7-5614-4848-9雅安史略耿俊杰 王杰
  3. ISBN 978-7-5614-5254-7基于管理熵理论的组织知识管理绩效综合集成评价研究熊学兵 著
  4. ISBN 7-5614-1942-2/G.358中国酒趣刘有金
  5. ISBN 978-7-5614-7999-518-19世纪英国社会中的犯罪妇女研究曾亚英,陈海天,唐书潇
  6. ISBN 978-7-5614-4333-0中国英语学习者在阅读中习语处理过程研究左红珊 著
  7. ISBN 7-5614-1821-3/F.284货币供给调控论唐磊
  8. ISBN 978-7-5614-8525-5品读文化淮安胡健
  9. ISBN 7-5614-3217-8/G.636学校体育评价张超慧等
  10. ISBN 978-7-5614-9994-8电视剧批评论李茂华 郝飞婷 等

大川课堂

微信公众号

微博