01065nam0-22003251i-450-99000051525040332120080905101559.00-07-707735-0000051525FED01000051525(Aleph)000051525FED0100005152520020821d1994----km-y0itay50------baenga-------001yy<<The >>construction of formal specificationsan introduction to the model-based and algebraic approachesJ. G. Turner, T. L. McCluskeyLondonMcGraw-Hill©1994XII, 420 p.ill.24 cmMcGraw-Hill International Series in Software EngineeringIngegneria del software005.1'2Turner,John G.<1946- >27471McCluskey,T. Lee<1957- >340404ITUNINARICAUNIMARCBK99000051525040332110 P.T. 692dis 3493DINELDINELConstruction of formal specifications331161UNINA