书籍详情

软件规约方法与Z语言

软件规约方法与Z语言

作者：王志坚，朱跃龙著

出版社：河海大学出版社

出版时间：2000-01-01

ISBN：9787563015832

定价：¥30.00

内容简介

　　本书包括：软件规约方法和语言、一阶逻辑和集合论、模式与规约、模式推理、Z语言的面向对象扩充等16章。

作者简介

暂缺《软件规约方法与Z语言》作者简介

目录

暂缺《软件规约方法与Z语言》目录

猜您喜欢

显生宙中生代

了不起的化学元素1+2

读书导航