mc5tkm
这家伙很懒，什么也没写
Ta上传的资源 (0)
algorithm design foundations analysis and internet examples中文版
algorithmdesignfoundationsanalysisandinternetexamples中文版
Using Z Specification Refinement and Proof
"Using Z: Specification, Refinement and Proof" - J. Woodcock and J. Davies Prentice Hall, 1994. 英文版