Olivier Bournez – författare
Visar alla böcker från författaren Olivier Bournez. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 14235 - Lecture Notes in Computer Science
Reachability Problems
17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings
Häftad, Engelska, 2023
715 kr
Skickas inom 5-8 vardagar
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
Reachability Problems
Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings
Häftad, Engelska, 2009
554 kr
Skickas inom 10-15 vardagar
This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.