Understanding Z:A Specification Language and its Formal Semantics（Cambridge Tracts in Theoretical Computer Science）
理解Z语言
计算机软件售 价：
￥
329.00
发货周期：预计5-7周发货
作 者
出版时间
2008年02月01日
装 帧
平装
页 码
140
开 本
247×174×8mm
语 种
英文
综合评分
暂无评分
- 图书详情
- 目次
- 买家须知
- 书评（0）
- 权威书评（0）
图书简介
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
本书暂无推荐
本书暂无推荐
看了又看
- 上一个
