软件规约方法与Z语言
￥ 45 八品
仅1件
西藏拉萨
认证卖家担保交易快速发货售后保障
作者王志坚、朱跃龙 著
出版社河海大学出版社
出版时间2000
装帧其他
上书时间2024-05-14
- 在售商品 暂无
- 平均发货时间 4小时
- 好评率 暂无
商品详情
- 品相描述：八品
图书标准信息
- 作者 王志坚、朱跃龙 著
- 出版社 河海大学出版社
- 出版时间 2000
- ISBN 9787563015832
- 定价 30.00元
- 开本 20cm
- 页数 262页
- 正文语种 简体中文
- 【内容简介】
- 本书包括：软件规约方法和语言、一阶逻辑和集合论、模式与规约、模式推理、Z语言的面向对象扩充等16章。
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价