Algorithmique et programmation en Java

Présente les concepts de base de la programmation impérative, étudie en détail les structures de données abstraites classiques et un certain nombre d'algorithmes fondamentaux. Illustré de nombreux exercices, mettant l'accent sur les notions de validité et de fiabilité et s'appuyant sur des notations formelles.