The structure of an algebraic specification
{"Image DocumentName": "The structure of an algebraic specification", "Image ImageDescription": "TION NAME > (Gener. ic P. ar. ameter) sort. < name > imports. < LIST. OF SPECIFICA. TION NAMES > Inf. or. mal descr. iption of the sor. t and its oper. ations. Oper. ation signatures setting out the names and the types of. the parameters to the operations defined over the sort. Axioms defining the oper. ations o. v. er the sor. t.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}