LEADER 01353nam2-2200409li-450 001 990000204990203316 005 20180312154842.0 010 $a3-540-53912-3 035 $a0020499 035 $aUSA010020499 035 $a(ALEPH)000020499USA01 035 $a0020499 100 $a20001109d1991----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aAlgebraic methods II$etheory, tools and applications$fJ. A. Bergstra (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1991 215 $aVI, 434 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v490 410 0$10010020264$12001$aLecture notes in computer science 610 1 $aelaboratori elettronici$aprogrammazione 610 1 $alogica matematica 610 1 $asoftware$aprogettazione 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aBergstra,$bJan A. 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000204990203316 951 $a001 LNCS (490)$b0013825$c001$d00102648 959 $aBK 969 $aSCI 979 $c19930304 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010125$lUSA01$h1236 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aAlgebraic methods II$91501947 997 $aUNISA