Computer-Aided Verification of Coordinating Processes

Wo zu kaufen (1) Eigenschaften
Gesponsert
Computer-Aided Verification of Coordinating Processes
Hugendubel
62.99 EUR
Preis aktualisiert am: 27-12-2025 16:27:57
Siehe Produktangebot

Allgemein

Marke
Bonnier Books UK

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: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12225)
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12225)
Produkt anzeigen
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science, 13371, Band 13371)
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science, 13371, Band 13371)
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: The Automata-Theoretic Approach (Princeton Legacy Library)
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Produkt anzeigen
Menü