02139nam0 22004813i 450 CAG164505420251003044104.097888719255239788891907806Pearson Italia20220120d2009 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierAutomi, linguaggi e calcolabilitàJohn E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullmanedizione italiana a cura di Giovanni Pighizzini3. ed[Milano]Pearson Addison Wesley2009XIX, 499 p.24 cm.Informatica001CFI07310462001 InformaticaIntroduction to automata theory, languages and computation.URB0447868AQ1V00082896688Logica matematicaFIRCFIC000378EElaborazione dei datiProgrammazioneLinguaggiFIRSBLC033024I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)21511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Hopcroft, John E. <1939- >AQ1V00082807044212Motwani, RajeevMILV15795507065488Ullman, Jeffrey D. <1942- >RAVV0236680709704Pighizzini, GiovanniBVEV054811340Ullman, Jeffrey DavidSBNV033010Ullman, Jeffrey D. <1942- >ITIT-00000020220120IT-BN0095 NAP 01SALA DING $CAG1645054Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 HOP.au 0102 0000092295 VMA A4 1 v. (4. rist.)Y 2012040520120405 01Introduction to automata theory, languages, and computation96688UNISANNIO