高级搜索
消息
购物车

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

作者： 崔梦天，韩伟著

出版社： 四川大学出版社

出版日期： 2012-03-23

  • 优惠券：
  • ￥3
    ￥10
    ￥30
    ￥70
  • 领券
电子书 ： ￥16.8 （ 定价：28.0 ）

  • 收藏

  • 加书架

  • 引用

简介

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

更多出版物信息
  • 版权： 四川大学出版社
  • 出版： 2012-03-23
  • 作者：崔梦天，韩伟著
  • 更新： 2023-03-22
  • 书号：9787561457290
  • 中图：TP311.52
  • 学科：
    工学
    控制科学与工程
    工学
    计算机科学与技术
    工学
    软件工程

作者信息

崔梦天，韩伟著

相关专题

相关图书

相关课程