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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-5559-3莫言小说中的女性世界王美春 著
  2. ISBN 978-7-5614-8361-9汉语单音节词的多维研究郑颖琦，王丹，鲜丽霞，王静
  3. ISBN 7-5614-3248-8/N.7水力学与水利信息学进展李桂芬
  4. ISBN 978-7-5614-7914-8民族学•人类学：追述与反思赵心愚 余仕麟 主编
  5. ISBN 978-7-5614-5753-5奇观社会的文化密码－－电视真人秀的游戏规则研究李立
  6. ISBN 7-5614-2841-3/F.441西部民营企业发展的制度研究徐云峰等
  7. ISBN 978-7-5614-6537-0多维视野中的《呼啸山庄》王喆 著
  8. ISBN 978-7-5614-8163-9地区亚文化与主文化之间的跨文化交际－－以内地高校港澳台学生与内地师生的交际为例付永刚 著
  9. ISBN 978-7-5614-6316-1企业思想政治工作与企业文化建设融合研究－－基于对四川省国有企业、民营口企业的调查研究辜堪生
  10. ISBN 7-5614-1821-3/F.284货币供给调控论唐磊
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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