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

Computer-Aided Verification of Coordinating Processes

45.00 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

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

Medimops DE

45.00 EUR 45.00 EUR

11-06-2026 17:07:05

Access to the deal

Computer-Aided Verification of Coordinating Processes

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

Ä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)

Ä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: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings