Del 15050
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
E-bok
Engelska, 2024896 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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 contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Techniques for Distributed Objects, Components, and Systems
Ana Sokolova, Alexey Gotsman
E-bok
2020896 kr
Del 12864
Del 12136
Formal Techniques for Distributed Objects, Components, and Systems
Alexey Gotsman, Ana Sokolova
Häftad, 2020
728 kr
- 4 för 3
- Signerad!
- 4 för 3
- 4 för 3
- Nyhet
Del 7