LEADER 01361nam2-2200421li-450-
001 990000237300203316
005 20091113095324.0
010   $a3-540-94129-0
035   $a0023730
035   $aUSA010023730
035   $a(ALEPH)000023730USA01
035   $a0023730
100   $a200199509059--------y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aLogic for applications$fAnil Nerode, Richard A. Shore
210   $aNew York [etc.]$cSpringer-Verlag,copyr. 1993
215   $aXVII, 365 p.$cill.$d24 cm
225 2 $aText and monographs in computer science$v17
410  1$10010022871$12001$aText and monographs in computer science$v17
606 0 $aElaboratori elettronici$xProgrammazione
606 0 $aLogica matematica
676   $a005.1
700  1$aNERODE,$bAnil$048991
701  1$aSHORE,$bRichard A.$0542234
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000237300203316
951   $a001.6 TMC (17)$b17201/CBS$c001.6$d00105379
959   $aBK
969   $aSCI
979   $c19950905
979   $c20001110$lUSA01$h1715
979   $aALANDI$b90$c20010220$lUSA01$h1134
979   $c20020403$lUSA01$h1632
979   $aPATRY$b90$c20040406$lUSA01$h1617
979   $aRSIAV7$b90$c20091113$lUSA01$h0953
996   $aLogic for applications$9880751
997   $aUNISA