Understanding Formal Methods
Thisbookisaimedatallthosewhoarerightlypuzzledbythecomplexandcontroversialpanoramaofformalmethods.Itisuniqueastoitscompletenessanditscompromisebetweenrigorousexpositionofunderlyingmathematicaltheoriesandconcreteexplanationsoftheimplementationoftechniquesusingactualtools.Oneofitsess
暂无评论