用Z语言实现面向对象的说明.pdf
z语言是流行的形式化说明语言，使用Z语言的模式可以准确的构造一个系统的说明，本文用z语言构造一个面向对象的系统。
下载地址
用户评论
