Ana Sokolova – författare
Visar alla böcker från författaren Ana Sokolova. Handla med fri frakt och snabb leverans.
6 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, 2020
734 kr
Lägg i varukorg
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing …
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 Ana Sokolova, Alexey Gotsman
E-bok, 2020
923 kr
Lägg i varukorg
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing …
Model Checking Software
27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Av Alfons Laarman, Ana Sokolova
Häftad, 2021
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. …
Model Checking Software
27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Av Ana Sokolova, Alfons Laarman
E-bok, 2021
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. …
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
Häftad, 2024
734 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024.The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also …
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
E-bok, 2024
903 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also …
