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