Your search returned 4 results.

Results
		No cover image available Automata and computability by Kozen, Dexter C \| . Series: Edition: Language: English Publication details: ; New York : Springer, 1997 ; 1997Availability: Items available for loan: 1 Call number: 517.1:681.3 Koz. Place hold Add to cart (remove)
		Design and analysis of algorithms by Kozen, Dexter C \| . Series: Edition: Language: English Publication details: New York ; Springer-Verlag ; 1992Availability: Items available for loan: 1 Call number: 681.3.06Koz. Place hold Add to cart (remove)
		Mathematics of program construction : 7th international conference proceedings, MPC, Stirling, Scotland, UK, July 12-14, 2004 by - \| Kozen, Dexter \| Kozen, Dexter. Series: Lecture notes in computer science ; v.3125Edition: Language: English Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:7:04. Place hold Add to cart (remove)
		Mathematics of program construction (e-book) by Kozen, Dexter. Series: Lecture Notes in Computer Science (LNCS) ; v.3125Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2004Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

		No cover image available Automata and computability by Kozen, Dexter C \| . Series: Edition: Language: English Publication details: ; New York : Springer, 1997 ; 1997Availability: Items available for loan: 1 Call number: 517.1:681.3 Koz. Place hold Add to cart (remove)
		Design and analysis of algorithms by Kozen, Dexter C \| . Series: Edition: Language: English Publication details: New York ; Springer-Verlag ; 1992Availability: Items available for loan: 1 Call number: 681.3.06Koz. Place hold Add to cart (remove)
		Mathematics of program construction : 7th international conference proceedings, MPC, Stirling, Scotland, UK, July 12-14, 2004 by - \| Kozen, Dexter \| Kozen, Dexter. Series: Lecture notes in computer science ; v.3125Edition: Language: English Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:7:04. Place hold Add to cart (remove)
		Mathematics of program construction (e-book) by Kozen, Dexter. Series: Lecture Notes in Computer Science (LNCS) ; v.3125Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2004Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search