LEADER 01101nam0-2200385-i-450-
001 990009131710403321
005 20120117180105.0
010   $a978-0-387-09638-4
035   $a000913171
035   $aFED01000913171
035   $a(Aleph)000913171FED01
035   $a000913171
100   $a20100105d2010----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---001yy
200 1 $a<<The >>pillars of computation theory$estate, encoding, nondeterminism$fArnold L. Rosenberg
210   $aNew York$cSpringer$dc2010
215   $aXVII, 324 p.$d24 cm
225 1 $aUniversitext
610 0 $aScienza del computer
610 0 $aModelli di computazione
610 0 $aAutomi e grammatiche formali in connessione con questioni di logica
676   $a511.3
700  1$aRosenberg,$bArnold L.$0506569
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990009131710403321
952   $aC-6-(214$b24034$fMA1
959   $aMA1
962   $a68-01
962   $a68Q05
962   $a03D05
996   $aPillars of computation theory$9782747
997   $aUNINA