使用B语言的形式说明与开发/formal specification and development in B
Julliand, Jacques; Kouchnarenko, Olga;
广东教育出版社
出版时间：2006-12
出版社：广东教育出版社
作者：Julliand, Jacques; Kouchnarenko, Olga;
页数：292
图书封面
下载链接
使用B语言的形式说明与开发/formal specification and development in BPDF格式下载