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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 7-5614-2413-2/G.407中国古代文献源研究端木黎民
  2. ISBN 978-7-5614-4882-3英汉多项前置修饰语次序的认知功能探索毛薇
  3. ISBN 978-7-5614-5823-5龙门山地震地质遗迹景观体系与旅游发展模式研究唐勇 著
  4. ISBN 978-7-5614-8924-6四川地震灾区民众心理健康与心理援助的研究冯春 辛勇 王宁霞
  5. ISBN 978-7-5614-7919-3文学：从文化启蒙到思想激荡赵心愚 余仕麟 主编
  6. ISBN 978-7-5690-0757-2马克思主义中国化与我国主流意识形态建设研究李蓉
  7. ISBN 978-7-5690-0128-0适宜的才是最好的——回归本位的幼儿园课程建设周燕名师工作室
  8. ISBN 978-7-5614-7757-1道教美学探索——内丹与中国器乐艺术研究蔡钊
  9. ISBN 978-7-5614-5070-3《祖堂集》佛教称谓词语研究徐琳 魏艳伶 袁莉容 著
  10. ISBN 978-7-5614-4932-5江南第一古县城再发现——宁波慈城文化内涵挖掘及开发研究吴廷玉
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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