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