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

Your search returned 3 results.

	1.	Algorithmics : the spirit of computing [ Livre] : / David, HarelPublication : Pearson education, 2004, LondonDescription : 513 pagesDisponibilité : Exemplaires empruntables: [004.12 HAR] (2). Exemplaires en consultation sur place:[004.12 HAR] (1). Place hold Add to cart (remove)
	2.	Computers Ltd : what they really can't do [ Livre] / David, HarelPublication : Oxford University Press, 2004, OxfordDescription : 222 pagesDisponibilité : Exemplaires empruntables: [004.01 HAR] (2). Place hold Add to cart (remove)
	3.	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)