Understanding Formal Methods
Thisbookisaimedatallthosewhoarerightlypuzzledbythecomplexandcontroversialpanoramaofformalmethods.Itisuniqueastoitscompletenessanditscompromisebetweenrigorousexpositionofunderlyingmathematicaltheoriesandconcreteexplanationsoftheimplementationoftechniquesusingactualtools.Oneofitsess
下载地址
用户评论
