LEADER 00845nam0 2200253 450 001 000017754 005 20081020101044.0 010 $a0273026739 100 $a20081020d1988----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay-------001yy 200 1 $aSoftware engineering mathematics$eformal methods demystified$fJ. Woodcock, M. Loomes 210 $aLondon$cPitman$d1988 215 $a291 p.$d24 cm 610 1 $aInformatica$aApplicazioni dell'analisi numerica 676 $a005.131$v19$9Linguaggi di programmazione. Logica simbolica (matematica) 700 1$aWoodcock,$bJim$0632110 701 1$aLoomes,$bMartin$0632111 801 0$aIT$bUNIPARTHENOPE$c20081020$gRICA$2UNIMARC 912 $a000017754 951 $aM 005.131/2$bM 1059$cDSA$d2008 996 $aSoftware engineering mathematics$91202014 997 $aUNIPARTHENOPE