LEADER 01166nam0-2200361li-450 
001 990000158450203316
005 20180312154642.0
010   $a0-12-427620-2
035   $a0015845
035   $aUSA010015845
035   $a(ALEPH)000015845USA01
035   $a0015845
100   $a20001109d1991----km-y0itay0103----ba
101 0 $aeng
102   $aGB
200 1 $a<<An>> introduction to programming with specifications$ea mathematical approach$fRyszard Kubiak, Roman Rudzinski, Stefan Sokolowski
210   $aLondon [etc.]$cAcademic Press$dcopyr. 1991
215   $aIX, 267 p.$cill.$d23 cm
610 1 $aelaborazione elettronica dei dati
700  1$aKubiak,$bRyszard$0721415
702  1$aRudzinski,$bRoman
702  1$aSokolowski,$bStefan
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000158450203316
951   $a004 KUB$b0001987
959   $aBK
969   $aTEC
979   $c19921203
979   $c20001110$lUSA01$h1712
979   $c20020403$lUSA01$h1623
979   $aPATRY$b90$c20040406$lUSA01$h1612
996   $aIntroduction to programming with specifications$91488542
997   $aUNISA