Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Reachability Problems

Name: Reachability Problems
Brand: Springer Nature Switzerland AG
SKU: 37347414
Price: 82.45 EUR
Availability: InStock
Author: Igor Potapov
ISBN: 9783030897154

Igor Potapov

Patrick Totzke

Language

English

Book Paperback

Libristo code: 37347414

Publishers Springer Nature Switzerland AG, October 2021

This book constitutes the refereed proceedings of the 15th International Conference on Reachability... Full description

Libristo code: 37347414

199 b

82.45 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Parlement Et La Legislation Du Travail RENARD-G

Paperback

21.24 €

Régimen jurídico del transporte de viajeros y los usuarios Moya Jiménez

Paperback

34.69 €

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021.The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 invited papers were included in this volume. The RP proceedings 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.Chapter 'Recent Advances on Reachability Problems for Valence Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.