Automaten modellieren mit Occam

Das Kapitel zeigt, wie Automaten mit Occam beschrieben werden können.

• Kapitelübersicht
• Verkaufsautomaten: Geldannahme und Rückgabe