01235nam a2200325 i 450099100136351970753620020507192115.0960307s1983 de ||| | eng 3540122842b10837140-39ule_instLE01311128ExLDip.to Matematicaeng001.642AMS 68-06AMS 68N20AMS 68N25Knuth, Elod319447Specification and design of software systems :conference on Operating systems Visegrad, Hungary, January 23-27, 1982, proceedings /edited by E. Knuth and E. J. NeuholdBerlin :Springer-Verlag,1983152 p. :ill. ;24 cm.Computer softwareSpecificationsCongressesOperating systemsCongressesSystem designCongressesNeuhold, Erich J..b1083714021-09-0628-06-02991001363519707536LE013 68-XX KNU11 (1983)12013000043807le013-E0.00-l- 00000.i1094682228-06-02Specification and design of software systems923999UNISALENTOle01301-01-96ma -engde 01