Introduit Dynamic Logic, couvrant ses principes, ses problèmes et ses variations de conception, y compris les conceptions au pied contre les conceptions non au pied et les structures à sorties multiples.
Fournit une vue d'ensemble des machines à états finis, couvrant leur conception, leur analyse et leurs applications pratiques dans les systèmes numériques.
Couvre les concepts fondamentaux des systèmes logiques, y compris les circuits séquentiels et combinatoires, les diagrammes détat et les machines détat fini.
