01587nam--2200421---450-9900003378902033163-540-67257-50033789USA010033789(ALEPH)000033789USA01003378920010207d2000----km-y0itay0103----baengDE||||||||001yyFoundations of software science and computation structuresThird international conference, FOSSACS 200held as part of the Joint European conferences on theory and practice of software, ETAPS 2000Berlin, Germany, March 25 - April 2, 2000proceedingsJerzy Tiuryn (ed.)BerlinSpringer-Verlagc2000X, 390 p.ill.25 cmLecture notes in computer science17842001Lecture notes in computer science1784001-------2001SoftwareCongressi2000Analisi dei sistemiCongressi2000CongressiBerlino2000005.1TIURYN,JerzyInternational conference, FOSSACS 2000 <3. ; 2000; Berlino>542914ITsalbcISBD990000337890203316001 LNCS (1784)CBS 0025044001 LNCS00100093BKSCIPATTY9020010207USA011754ALANDI9020010326USA01120220020403USA011641PATRY9020040406USA011624Foundations of software science and computation structures878025UNISA