Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE 53.49 EUR
53.49 EUR
25-04-2026 11:24:16
Ein umfassendes Handbuch, das abstrakte Zustandsmaschinen als Werkzeug für hochrangiges Systemdesign vorstellt, mit theoretischer Tiefe, klaren Formeln und praxisnahen Fallstudien zur Verifikation komplexer Abläufe.
