Abstract State Machines: Solutions to Exercises

【文件属性】：

文件名称：Abstract State Machines: Solutions to Exercises

文件大小：253KB

文件格式：PDF

更新时间：2014-03-25 09:31:01

System design, system analysis, 系统设计

此文件是Abstract State Machine: A Method for High-Level System Design and Analysis一书的习题解