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

Wo zu kaufen (1) Eigenschaften
Gesponsert
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Medimops DE
116.40 EUR
Preis aktualisiert am: 12-06-2026 22:37:19
Siehe Produktangebot

Allgemein

Marke
Kurshan, Robert P.
ISBN
Kurshan, Robert P. 0691634890

Eigenschaften

Ähnliche Produkte

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)
Produkt anzeigen
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12224)
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12224)
Produkt anzeigen
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
Produkt anzeigen
Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Produkt anzeigen
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Produkt anzeigen
Computer-Aided Verification of Coordinating Processes
Computer-Aided Verification of Coordinating Processes
Produkt anzeigen
Menü