01094nam0-22003251i-450-99000047044040332120090218122001.03-540-10007-5000047044FED01000047044(Aleph)000047044FED0100004704420020821d1980----km-y0itay50------baenga-------101yyAbstract software specifications1979 Copenhagen winter school, january 22- february 2, 1979 proceedingsedited by D. BjornerBerlin ; HeidelbergSpringer-Verlag1980566 p.ill.24 cmLecture notes in computer science86Elaboratori digitali elettroniciCongressi001.64'2Bjørner,Dines<1937- >Copenhagen winter school on abstract software specifications<1979>491514ITUNINARICAUNIMARCBK99000047044040332110 PRO 1611617 CCEDINELDINELAbstract software specifications331978UNINA