Explore les circuits logiques synchrones, la modélisation basée sur l'état, les techniques d'optimisation et la minimisation de l'état de la machine à l'état fini.
Explore l'anatomie du disque, recherche du temps et gestion de l'espace, mettant l'accent sur les techniques d'accès au bloc et de stockage des données efficaces.