01301nam0 22003493i 450 AQ1001221220250124062415.00387976876New York3540976876Berlin20080130d1992 ||||0itac50 baengusz01i xxxe z01n˜The œdesign and analysis of algorithmsDexter C. KozenNew York [etc.]Springerc1992X, 320 p.25 cmTexts and monographs in computer science001AQ100003642001 Texts and monographs in computer scienceAlgoritmiFIRNAPC007098IElaboratori elettroniciProgrammazioneFIRNAPC000341I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Kozen, Dexter C.AQ1V00655407065955Kozen, DexterNAPV121193Kozen, Dexter C.ITIT-NA007920080130IT-BN0095 AQ10012212Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 KOZ.de 0102 0000003485 B A4 1 v.3 2008013020080130 01Design and analysis of algorithms1518893UNISANNIO