Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE 59.00 EUR
59.00 EUR
29-07-2026 07:49:53
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.
