01309nam2-2200409li-450-99000023725020331620091113100001.00-387-97687-60023725USA010023725(ALEPH)000023725USA010023725200199410109--------y0itay0103----baengUS<<The>> design and analysis of algorithmsDexter C. KozenNew York [etc.]Springer-Verlag,copyr. 1992320 p.ill.24 cmText and monographs in computer science1500100228712001Text and monographs in computer science15AlgoritmiElaboratori elettronici005.1KOZEN,Dexter C.65955Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000237250203316001.6 TMC (15)16130/CBS001.600105377BKSCI1994101020001110USA011715ALANDI9020010220USA01112720020403USA011632PATRY9020040406USA011617RSIAV79020091113USA011000Design and analysis of algorithms1518893UNISA