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

价　　格：¥25.80

作　　者：崔梦天，韩伟著

ISBN：978-7-5614-5729-0

出版社：四川大学出版社

出版日期：2012.03

文件格式：pdf或epub或扫描版

立即购买

温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！

内容简介

书名：B方法与形式化软件开发技术研究
作者：崔梦天，韩伟著
ISBN：978-7-5614-5729-0
出版社：四川大学出版社
出版日期：2012.03
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。

上一本：高坝工程技术进展

下一本：农用电动机、柴油机