Ana Sokolova - Böcker
Visar alla böcker från författaren Ana Sokolova.
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
919 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
709 kr
Skickas inom 10-15 vardagar
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
Häftad, Engelska, 2024
819 kr
Skickas inom 10-15 vardagar