![]() |
![]() |
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.
|
![]() ![]() You may like...
Healthy Vegan - The Cookbook
Niko Rittenau, Sebastian Copien
Hardcover
Handbook on the Governance of…
Duncan Russel, Nick Kirsop-taylor
Hardcover
R5,116
Discovery Miles 51 160
Hidden Figures - The Untold Story of the…
Margot Lee Shetterly
Paperback
![]() R304 Discovery Miles 3 040
The Taney Court - Justices, Rulings, and…
Timothy S. Huebner
Hardcover
R2,300
Discovery Miles 23 000
Prisoner 913 - The Release Of Nelson…
Riaan de Villiers, Jan-Ad Stemmet
Paperback
|