«Quoi de plus naturel, lorsqu'un système peut être décrit formellement,

que de tenter de l'améliorer ? L'auteur de cet ouvrage conduit le lecteur

avec patience (et humour) à la découverte de méthodes algorithmiques

qui permettent d'aborder cette question Son propos se distingue par

une approche progressive et détaillée, amplement supportée par des projets

et exercices, par l'étendue du domaine couvert, par la qualité de sa

documentation, ainsi que par un souci pédagogique constant et un souci

permanent de l'illustration pertinente Il propose ainsi une excellente

introduction à un sujet en plein essor, tant du point de vue des applications,

aujourd'hui innombrables, que de la compréhension plus profonde

des concepts».

Professeur Philippe Toint

Facultés Universitaires Notre-Dame de la Paix

Namur, Belgique