01208nam2-2200373li-450-9900002095302033163-540-63613-70020953USA010020953(ALEPH)000020953USA01002095320001109d1991997-km-y0itay0103----baengGWFormal foundations for software engineering methodsHeinrich HubmannBerlinoSpringer-Verlagcopyr. 1997X, 286 p.ill.23 cmLecture notes in computer science1322altro genere00100202642001Lecture notes in computer sciencesoftwareprogettazione0051Programmazione. Tecnica di sviluppo dei programmiHubmann,HeinrichSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209530203316001 LNCS (1322)002112200100104096BKSCI1998012420001110USA011714ALANDI9020010205USA01110320020403USA011629PATRY9020040406USA011615UNISA