Constitue une introduction aux concepts fondamentaux de la programmation séquentielle et un traitement exhaustif du magiciel, défini comme la théorie des transformations et des équivalences entre le matériel et le logiciel.