00845nam0 2200253 450 00001775420081020101044.0027302673920081020d1988----km-y0itay50------baengGBy-------001yySoftware engineering mathematicsformal methods demystifiedJ. Woodcock, M. LoomesLondonPitman1988291 p.24 cmInformaticaApplicazioni dell'analisi numerica005.13119Linguaggi di programmazione. Logica simbolica (matematica)Woodcock,Jim632110Loomes,Martin632111ITUNIPARTHENOPE20081020RICAUNIMARC000017754M 005.131/2M 1059DSA2008Software engineering mathematics1202014UNIPARTHENOPE