Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Medimops DE 45.00 EUR
45.00 EUR
23-04-2026 07:23:20
Ein Fachbuch, das die Automata-Theorie als Werkzeug für die formale Verifikation von Koordinationsprozessen nutzt und zeigt, wie man systematisch Interaktionsfehler erkennt und korrigiert.
