书籍名称：软件工程形式化方法与语言
页数：200
作者：李莹，吴江琴著
出版时间：2010
ISBN：9787308066679
出版社：杭州：浙江大学出版社
简介：
前部分目录
第1章 引论——1
1.1 软件工程——1
1.2 软件生存期——1
1.3 早期工作的重要性——2
1.4 规格说明及其形式化——3
1.5 一些重要的形式化规格说明语言——4
1.6 关于本书使用的Z语言——4
第2章 命题逻辑——6
2.1 命题——6
2.2 合取——7
2.3 析取——8
2.4 蕴含——9
2.5 等价——11
2.6 否定——13
2.7 永真式与矛盾式——15
第3章 谓词逻辑——17
······
······
······
声明：本站资源均来源于互联网，旨在给网友提供一个交流学习的平台，产生费用仅为网站运营赞助费。版权属于原作者，若有侵权，请联系微信客服告知，我们会立即处理。
