01295nam2-2200385li-450 99000021124020331620180312154632.03-540-60589-40021124USA010021124(ALEPH)000021124USA01002112420001109d1995----km-y0itay0103----baengGWKORSOmethods, languages, and tools for the construction of correct softwarefinal reportManfred Broy ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995X, 449 p.ill.25 cmLecture notes in computer science100900100202642001Lecture notes in computer sciencesoftwareprogettazione0051Programmazione. Tecnica di sviluppo dei programmiBroy,ManfredSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211240203316001 LNCS (1009)001873500100103809BKSCI1996040520001110USA011714ALANDI9020010201USA01092920020403USA011629PATRY9020040406USA011615KORSO1487536UNISA