注册 | 登录读书好，好读书，读好书！

当前位置：首页出版图书科学技术计算机/网络计算机科学理论与基础知识软件规约方法与Z语言

软件规约方法与Z语言

软件规约方法与Z语言

定　价：¥30.00

作　者：	王志坚，朱跃龙著
出版社：	河海大学出版社
丛编项：
标　签：	形式语言 Z语言

ISBN：	9787563015832	出版时间：	2000-01-01	包装：
开本：	21cm	页数：	262页	字数：

内容简介

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

作者简介

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

图书目录

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

本目录推荐