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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-8404-3刑法解释理论与实务重要问题研究张能 田维 洛桑东洲 邓浩 等著
  2. ISBN 978-7-5614-4050-6/G.968大学生廉洁教育的理论与实践吴肇庆等
  3. ISBN 7-5614-2031-5/D.160欧洲联盟政治概论罗建国
  4. ISBN 978-7-5690-1047-3近代四川民俗变化研究潘家德
  5. ISBN 978-7-5614-5901-0高校教师政治学习概论何临春、江英飒、潘坤 著
  6. ISBN 978-7-5614-7657-4当前我国公有制经济主体地位面临的挑战及应对策略研究李杰 等
  7. ISBN 978-7-5690-1666-6文化转向后翻译概念的嬗变研究吴术驰、李超 著
  8. ISBN 978-7-5614-7897-4以需求为导向的四川省公务员培训体系研究罗哲
  9. ISBN 978-7-5614-7971-1现代教育技术赖麟，陈代娟 主编
  10. ISBN 978-7-5614-8804-1大学生思想政治教育载体建设研究汪大喹
国家新闻出版署 国家版权局 中国出版网 中国高校教材图书网

大川课堂

微信公众号

微博

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