Ana Sokolova – författare

Visar alla böcker från författaren Ana Sokolova.

3 produkter

Kategorier

3 produkter

Del 12136
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
AvAlexey Gotsman,Ana Sokolova
Häftad, Engelska, 2020
969 kr
Skickas inom 10-15 vardagar
Del 12864
Del 12864 - Lecture Notes in Computer Science
Model Checking Software
27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
AvAlfons Laarman,Ana Sokolova
Häftad, Engelska, 2021
749 kr
Skickas inom 10-15 vardagar
Del 15050
Del 15050 - Lecture Notes in Computer Science
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
AvLaura Kovács,Ana Sokolova
Häftad, Engelska, 2024
969 kr
Skickas inom 10-15 vardagar