Kozen, Dexter C. <br/><br/>
Design and analysis of algorithms 
Dexter C. Kozen 
 - New York  Springer  1992 
 - x,320p.;   24cm. 
 - Text and monographs in computer science .
<br/><br/><label>ISBN: </label>0-387-97687-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer algorithms
<br/><br/><label>Dewey Class. No.: </label>005.1  / KOZ