01842nam0 22004093i 450 CAG164505420240503062019.097888719255239788891907806Pearson Italia20120405d2009 ||||0itac50 baitaitz01i xxxe z01nAutomi, 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 matematicaFIRNAPC000388IElaborazione dei datiProgrammazioneLinguaggiFIRNAPC260581I511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Hopcroft, John E. <1939- >AQ1V00082807044212Motwani, RajeevMILV15795507065488Ullman, Jeffrey D. <1942- >RAVV0236680709704Pighizzini, GiovanniBVEV054811340Ullman, Jeffrey DavidSBNV033010Ullman, Jeffrey D. <1942- >ITIT-NA007920120405IT-BN0095 CAG1645054Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 HOP.au 0102 0000092295 N A4 1 v. (4. rist.)3 2012040520120405 01Introduction to automata theory, languages, and computation96688UNISANNIO