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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5690-0558-5忠愍公诗集选注杨战朋 隆莺芷 游世强
  2. ISBN 978-7-5614-6525-7纳博科夫早期俄文小说研究陈辉 著
  3. ISBN 7-5614-2546-5/D.192基层组织依法行政的理论与实践陶涛
  4. ISBN 978-7-5614-7559-1幼儿园文化生态与环境创设卢伟 邓倩 主编
  5. ISBN 978-7-5614-4446-7旗帜、道路、理论体系——中国特色社会主义研究王国敏 主编
  6. ISBN 978-7-5614-7555-3法学本科人才培养模式创新与课程教学改革唐稷尧 陈驰
  7. ISBN 978-7-5614-5383-4语文课程与教学新探——基于言语教育和文学教育分治的立场陈 勇
  8. ISBN 978-7-5614-5344-5中国协商民主理论与实践探析李仁彬等 著
  9. ISBN 978-7-5614-8590-3秦汉士人隐逸思想研究谭慧存 著
  10. ISBN 978-7-5614-8134-9皮尔斯：论符号(附)李斯卡：皮尔斯符号学导论(C.S.Peirce:on Signs)（James Liszka:A General Introduction to The Semeiotic of Charles Sanders Peirce)C.S.Peirce;James Liszka（著） 赵星植（译）
国家新闻出版署 国家版权局 中国出版网 中国高校教材图书网

大川课堂

微信公众号

微博

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