Pour tous les étudiants et élèves-ingénieurs, comme pour tous les professionnels de l'informatique et de l'automatique, cet ouvrage présente les méthodes de synthèse des machines logiques séquentielles utilisées dans les ordinateurs et dans les automates logiques. Il traite des structures asynchrones et synchrones de types Moore et Mealy. La première partie développe une méthodologie générale de synthèse des machines asynchrones, avec application aux différents types de mémoires logique. La deuxième partie expose la mise en œuvre des automates synchrones et une introduction aux langages ASM flowchart et VHDL. La troisième partie est une introduction aux réseaux de Petri et une présentation des concepts mis en œuvre dans le grafcet. Dans chaque partie sont aussi développés de nombreux exercices corrigés. L'ouvrage s'inscrit dans un traité complet sur les computers, avec deux autres ouvrages du même auteur, dans la même collection : en amont : bit après bit, en aval : instruction après instruction.
