Ana Sokolova - Böcker

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

3 produkter

Kategorier

3 produkter

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

Av Alexey Gotsman, Ana Sokolova

Häftad, Engelska, 2020

949 kr

Skickas inom 10-15 vardagar

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Av Alfons Laarman, Ana Sokolova

Häftad, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar

Reachability Problems

18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings

Av Laura Kovács, Ana Sokolova m. fl

Häftad, Engelska, 2024

989 kr

Skickas inom 10-15 vardagar