# 形式化语言处理
形式化B语言
形式化验证B语言安全系统设计软件工程
形式化规约Z语言
形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。
形式化方法
Formal method
形式化语言USING IN Z LANGUAGE
Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonma
形式化语言z语言缪淮扣
z语言缪淮扣上海大学形式化语言
用于软件工程的各个阶段
软件形式化方法Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
形式化方法CSP
Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP
形式化方法教材
形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2
形式化方法概貌
介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式 验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形
形式化ppt课件
B方法的课件资料，主要讲述B方法的原理及其开发应用