00965nam0-2200337li-450 99000014599020331620180312154622.00-387-97687-60014599USA010014599(ALEPH)000014599USA01001459920001109d1992----km-y0itay0103----baengUS<<The>> design and analysis of algorithmsDexter KozenNew York [etc.]Springer-Verlag,copyr. 1992algoritmi005.1.Kozen,Dexter535967Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000145990203316005.10005273BKTEC1995092920001110USA01171220020403USA011622PATRY9020040406USA011611Design and analysis of algorithms1486733UNISA