软件规约方法与Z语言
删除本页内容作者:王志坚，朱跃龙著
ISBN:17-5630-1583-32
关键词:形式语言
页数:262
出版社: 南京：河海大学出版社
出版日期:2000
本书2025年4月3日可阅读或下载
本书包括：软件规约方法和语言、一阶逻辑和集合论、模式与规约、模式推理、Z语言的面向对象扩充等16章。
形式语言
留言内容
发布留言
用户须知：
1.如果要找《软件规约方法与Z语言》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=6665646e6765646b6a6a5ba3a494ac96a99aa7a296a7a03931323938333135