文件名称:通信顺序进程-周巢尘编
文件大小:10.73MB
文件格式:PDF
更新时间:2013-01-03 13:32:55
进程代数,形式化方法,csp
该书是由周巢尘院士所写,是一本关于csp的中文书籍。对于学习csp,是一本不错的参考书。
文件名称:通信顺序进程-周巢尘编
文件大小:10.73MB
文件格式:PDF
更新时间:2013-01-03 13:32:55
进程代数,形式化方法,csp
该书是由周巢尘院士所写,是一本关于csp的中文书籍。对于学习csp,是一本不错的参考书。