正式规范 – UMD 计算机科学系 电子书下载

原名:Formal Specification – UMD Department of Computer Science
作品简介:cmsc435 – 1 正式规范 cmsc435 – 2 目标 解释为什么正式规范技术有助于发现系统需求中的问题……