1. 首页
  2. 安全技术
  3. 系统安全
  4. Understanding Formal Methods

Understanding Formal Methods

上传者: 2019-07-16 01:53:12上传 PDF文件 500kb 热度 30次
Thisbookisaimedatallthosewhoarerightlypuzzledbythecomplexandcontroversialpanoramaofformalmethods.Itisuniqueastoitscompletenessanditscompromisebetweenrigorousexpositionofunderlyingmathematicaltheoriesandconcreteexplanationsoftheimplementationoftechniquesusingactualtools.Oneofitsess
下载地址
用户评论