01134nam0-22003371i-450-99000049553040332120090219104557.03-540-12284-2000049553FED01000049553(Aleph)000049553FED0100004955320020821d1983----km-y0itay50------baenga-------101yySpecification and design of software systemsconference on operating systems Visegrad, Hungary, january 23-27, 1982, proceedingsedited by E. Knuth, E. J. NeuholdBerlin ; HeidelbergSpringer-Verlag1983152 p.ill.24 cmLecture notes in computer science152Sistemi operativiCongressi001.64Knuth,E.Neuhold,E. J.Conference on operating systems<1982 ;Visegrad, Hungary>491841ITUNINARICAUNIMARCBK99000049553040332110 PRO 193496 DISDINELDINELSpecification and design of software systems333243UNINA