Your search returned 3 results.

Results
	1.	Automata and computability by Kozen, Dexter, 1951- Series: Undergraduate texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 511.3 KOZ-A. Place hold Add to cart (remove)
	2.	Theory of computation by Kozen, Dexter C Series: Texts in computer science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer, ©2006 SpringerLink ebooks - Computer Science (2006) Availability: Items available for loan: IIITD (1)Call number: REF 004.01 KOZ-T. Place hold Add to cart (remove)
	3.	Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / by Kozen, Dexter [editor.] Shankland, Carron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3125 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search