00739nam0-22002531i-450-99000113391040332120061002095410.0000113391FED01000113391(Aleph)000113391FED0100011339120001205d1986----km-y0itay50------baengAlgorithmsthe construction, proof, and analysis of programsPierre Berlioux and Philippe BizardChichester [etc.]John Wiley1986Berlioux,Pierre295469Bizard,Philippe295470ITUNINARICAUNIMARCBK990001133910403321114-B-152657MA1MA1Algorithms345295UNINA