注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术计算机/网络计算机科学理论与基础知识软件规约方法与Z语言

软件规约方法与Z语言

软件规约方法与Z语言

定 价:¥30.00

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

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

内容简介

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

作者简介

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

图书目录

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

本目录推荐