Hoppa till sidans huvudinnehåll

Ana Sokolova - Böcker

Visar alla böcker från författaren Ana Sokolova.
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

AvAlexey Gotsman,Ana Sokolova

Häftad, Engelska, 2020

919 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvAlfons Laarman,Ana Sokolova

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

AvLaura Kovács,Ana Sokolova m. fl.

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar