Abstract State Machines: A Method for HighLevel System Design and Analysis
以下内容摘自该书的导言部分：Thisbookintroducesasystemsengineeringmethodwhichguidesthedevelopmentofsoftwareandembeddedhardware{softwaresystemsseamlesslyfromrequirementscapturetotheirimplementation.Ithelpsthedesignertocopewiththethreestumbling-blocksofbuildingmodernsoftwarebasedsystems:size,complexityandtr
下载地址
用户评论
还可以吧，学习系统设计与验证可以参考一下
conference papers, LNCS Abstract machine is a formal method in CS
不错，是我想找的那本书。