Cet ouvrage est une introduction à l'algorithmique et à la programmation impérative et orientée objets. L'auteur met l'accent sur les notions de validité et de fiabilité en s'appuyant sur des notations formelles. Tous les algorithmes et les structures de données sont traduits et présentés en Java. La grande originalité de ce cours est d'adopter un déroulé très classique, ce qui permet à un enseignant ayant utilisé jusqu'ici le Pascal ou le C de "basculer" sans douleur vers Java. Cette troisième édition rend compte des évolutions récentes du langage Java.