01297nam2-2200385li-450 99000020412020331620180312154622.03-540-57499-90020412USA010020412(ALEPH)000020412USA01002041220001109d1993----km-y0itay0103----baengGWFormal program developmentIFIP TC2/WG 2.1state of the artreportBernhard Moller (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993371 p.ill.24 cmLecture notes in computer science75500100202642001Lecture notes in computer scienceelaboratori elettroniciprogrammazione0051Programmazione. Tecnica di sviluppo dei programmiMoller,BernhardSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204120203316001 LNCS (755)001591400100103064BKSCI1994061320001110USA011714ALANDI9020010130USA01094020020403USA011628PATRY9020040406USA011615Formal program development1486760UNISA