Kozen, Dexter, 1951- <br/><br/>
Automata and computability 

 - 1st 
 - Newyork  Springer Science  1997 
 - 400 
<br/><br/><label>ISBN: </label>9781461273097 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER
<br/><br/><label>Dewey Class. No.: </label>004.0151  / KOZ/A