00997nam0-22003131i-450-99000049416040332120090212124357.00-471-91474-6000049416FED01000049416(Aleph)000049416FED0100004941620020821d1987----km-y0itay50------baenga-------001yy<<The >>spine of softwaredesigning provably correct softwaretheory and practiceor, a mathematical introduction to the semantics of computer programsRobert Laurence BaberChichesterWiley & Sons©1987316 p.ill.23 cmProgrammazioneElaborazione dei dati elettronici005.13Baber,Robert Laurence322853ITUNINARICAUNIMARCBK99000049416040332110 P.T. 5061754 DISDINELDINELSpine of software333319UNINA