Name: Computer-Aided Verification of Coordinating Processes
Brand: Kurshan, Robert P.
SKU: ID13144264

Computer-Aided Verification of Coordinating Processes

67.20 EUR 5% Off 70.99 EUR

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.

Marke: Kurshan, Robert P.

ISBN: 0691606056

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-5%

Gesponsert Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)

Medimops DE

67.20 EUR 70.99 EUR

16-09-2026 04:09:22

Access to the deal

Gesponsert Computer-Aided Verification of Coordinating Processes

Hugendubel

70.99 EUR 70.99 EUR

17-09-2026 09:37:19

Access to the deal

Computer-Aided Verification of Coordinating Processes

Gesponsert Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)

Gesponsert Computer-Aided Verification of Coordinating Processes

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Computer-Aided Verification of Coordinating Processes

Gesponsert Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)

Gesponsert Computer-Aided Verification of Coordinating Processes

Ähnliche Produkte

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification