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