Ana Sokolova – författare
Visar alla böcker från författaren .
3 produkter
3 produkter
Del 12136 - Lecture Notes in Computer Science
Formal Techniques for Distributed Objects, Components, and Systems
40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Häftad, Engelska, 2020
939 kr
Skickas inom 10-15 vardagar
Del 12864 - Lecture Notes in Computer Science
Model Checking Software
27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Häftad, Engelska, 2021
729 kr
Skickas inom 10-15 vardagar
Del 15050 - Lecture Notes in Computer Science
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
Häftad, Engelska, 2024
939 kr
Skickas inom 10-15 vardagar