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

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

作者：崔梦天 韩伟 著

责任编辑：曾鑫

出版时间：2012-03-23

定价： 28元

浏览： 次

丛书名：

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-7393-1凉山州野生食用菌综合开发利用罗晓妙 主编
  2. ISBN 978-7-5614-5139-7四川高校党建研究论文选编杨泉明 主编
  3. ISBN 7-5614-2760-3/D.210四川大学法律评论（2003）左卫民
  4. ISBN 978-7-5614-8449-4马克思主义利益观与社会主义和谐社会建设研究薛一飞 著
  5. ISBN 7-5614-3344-1/D.251法庭生物学吴梅筠
  6. ISBN 978-7-5690-0432-8军阀治术研究申红利 何凯 孙炜
  7. ISBN 978-7-5614-4005-6/I.359重写与颠覆：约翰.厄普代克“《红字》三部曲”之互文研究靳涵身 著
  8. ISBN 978-7-5614-9994-8电视剧批评论李茂华 郝飞婷 等
  9. ISBN 978-7-5614-7661-1管理：如何抓住本质的学问——利学企业管理贶宝峰 著
  10. ISBN 7-5614-2451-5/D.188宪法学周伟
国家新闻出版署 国家版权局 中国出版网

大川课堂

微信公众号

微博

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