aPracticalTheoryofProgramming2015919版
Thereareseveraltheoriesofprogramming.Thefirstusabletheory,oftencalled"Hoare'sLogic",isstillprobablythemostwidelyknown.Init,aspecificationisapairofpredicates:apreconditionandpostcondition(theseandalltechnicaltermswillbedefinedinduecourse).Anotherpopularandcloselyrelated
下载地址
用户评论
