Résumé du livre

«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