软件规约方法与Z语言
作者： 王志坚，朱跃龙著
ISBN：7-5630-1583-3
关键词： 形式语言
页数：262
出版社： 南京：河海大学出版社
出版日期：
发现《软件规约方法与Z语言》在 2025-08-11 可全文阅读或下载。
图书简介
本书包括：软件规约方法和语言、一阶逻辑和集合论、模式与规约、模式推理、Z语言的面向对象扩充等16章。
用户须知
出版社通过教客网下载电子书并起诉站长多次，本站随时可能倒闭。
诉讼案号：（2022）川01民初4401，（2022）川01民初4403，（2022）川01民初4403，（2022）川0191民初19351号， （2022）川0191民初19594号，（2022）川0191民初20457号，（2022）川0191民初20459号， （2023）川知民终373号，（2023）川知民终374号，（2023）川知民终375号， （2024）川0191民初15977号，（2024）川0191民初15979号，（2024）川0191民初15980号， （2024）川0191民初15981号，（2024）川0191民初15982号
- 找《软件规约方法与Z语言》，去就近图书馆。
- 本页面文字内容和图片来自 m.5read.com。
- 封皮图片引用地址：https://cover.duxiu.com/coverNew/CoverNew.dll?iid=696867716a68676e6d6d5ea6a797af99ac9daaa599aaa33436393939373238