LEADER 02139nam0 22004813i 450 001 CAG1645054 005 20251003044104.0 010 $a9788871925523 010 $a9788891907806$bPearson Italia 100 $a20220120d2009 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aAutomi, linguaggi e calcolabilitą$fJohn E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman$gedizione italiana a cura di Giovanni Pighizzini 205 $a3. ed 210 $a[Milano]$cPearson Addison Wesley$d2009 215 $aXIX, 499 p.$d24 cm. 225 | $aInformatica 410 0$1001CFI0731046$12001 $aInformatica 500 10$aIntroduction to automata theory, languages and computation.$3URB0447868$9AQ1V000828$996688 606 $aLogica matematica$2FIR$3CFIC000378$9E 606 $aElaborazione dei dati$xProgrammazione$xLinguaggi$2FIR$3SBLC033024$9I 676 $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14 676 $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v21 676 $a511.35$9Logica matematica (Logica simbolica). Teoria della ricorsivitą$v22 696 $aLogica simbolica$aLogica matematica 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 700 1$aHopcroft$b, John E.$f <1939- >$3AQ1V000828$4070$044212 701 1$aMotwani$b, Rajeev$3MILV157955$4070$065488 701 1$aUllman$b, Jeffrey D.$f <1942- >$3RAVV023668$4070$09704 702 1$aPighizzini$b, Giovanni$3BVEV054811$4340 790 1$aUllman$b, Jeffrey David$3SBNV033010$zUllman, Jeffrey D. <1942- > 801 3$aIT$bIT-000000$c20220120 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aCAG1645054 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 511.3 HOP.au$e 0102 0000092295 VMA A4 1 v. (4. rist.)$fY $h20120405$i20120405 977 $a 01 996 $aIntroduction to automata theory, languages, and computation$996688 997 $aUNISANNIO