01032nam0-22003251i-450-99000046982040332120091203114845.00262121123000046982FED01000046982(Aleph)000046982FED0100004698220020821d1986----km-y0itay50------baenga-------001yyAbstraction and specification in program developmentBarbara Liskov, John GüttagCambridge, Mass.The Mit PressNew YorkMcGraw-Hill©1986469 p.ill.24 cm<<The >>MIT electrical engineering and computer science seriesProgrammi per computer005.1'2Liskov,Barbara25919Güttag,John491505ITUNINARICAUNIMARCBK99000046982040332110 P.T. 471917 DISDINELDINELAbstraction and specification in program development331944UNINA