01679nam2-2200421li-450 99000020943020331620180312154801.03-540-64300-10020943USA010020943(ALEPH)000020943USA01002094320001109d1998----km-y0itay0103----baengGWFoundations of software science and computation structuresfirst International conference, FoSSaCS'98, held as part of the Join European conferences on theory and practice of software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998proceedingsMaurice Nivat (ed.)BerlinSpringercopyr. 1998X, 287 p.ill.23 cmLecture notes in computer science137800100202642001Lecture notes in computer sciencecongressilisbona1998elaborazione elettronicacongressi1998softwareprogettazionecongressi19980051Programmazione. Tecnica di sviluppo dei programmiNivat,MauriceInternational conference FoSSaCS'981.Lisbona1998753222Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209430203316001 LNCS (1378)002162900100104161BKSCI1998050820001110USA011714ALANDI9020010206USA01102920020403USA011629PATRY9020040406USA011615Foundations of software science and computation structures1515156UNISA