Bibliothèque de l'Ecole normale supérieure de Rennes catalog

Your search returned 3 results.

	1.	Theory of Computation [ Livre] / Dexter C., KozenPublication : London : Springer London Ltd, 2010Description : 418 pagesDisponibilité : Pas d'exemplaire disponible En prêt (1). Place hold Add to cart (remove)
	2.	Dynamic logic [ Livre] / David, Harel / Dexter C., KozenPublication : Cambridge (Mass.) : the MIT Press, 2000Description : 1 vol. (xv-459 p.) ; 24 cmDisponibilité : Exemplaires empruntables: [004.16 HAR] (1). Place hold Add to cart (remove)
	3.	The design and analysis of algorithms [ Livre] / Dexter C., KozenPublication : New York : Springer-Verlag, 1992Description : 1 vol. (X-320 p.) ; 25 cmDisponibilité : Exemplaires empruntables: [004.12 KOZ] (1). Place hold Add to cart (remove)