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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-9455-4刑法总则基本问题丛论李林
  2. ISBN 978-7-5614-8706-8走“世界历史”之路－－中国和平发展道路是世界历史之路的中国形式邓达
  3. ISBN 978-7-5614-7905-6中国城市品牌突围－－兼论以人为本的城市品牌观陈彧、刘可文、何飞、林茂
  4. ISBN 7-5614-1223-1/K.131隋唐官制王颖楼
  5. ISBN 978-7-5614-7555-3法学本科人才培养模式创新与课程教学改革唐稷尧 陈驰
  6. ISBN 978-7-5614-5014-7川菜产业“走出去”发展战略研究丁一
  7. ISBN 978-7-5614-7975-9岷江上游羌族民歌文化研究朱婷
  8. ISBN 978-7-5614-7196-8比较文学变异视角下的日本动画创作研究 高晨 著
  9. ISBN 978-7-5690-0369-7传媒组织模块化价值创新战略研究——基于传媒跨界整合现实问题的探索与实证刘茜
  10. ISBN 978-7-5614-7791-5基于网络外部性与兼容性的企业IT能力匹配研究杨黎波 著
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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