形式化语言 USING IN Z LANGUAGE

Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acourseonformalspecication,andacourseonrenement.Thismaterialcanbeadaptedinanumberofways,tosupportothercoursesoraspartofaprogrammeofself-pacedlearning.