Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Reachability Problems

Name: Reachability Problems
Brand: Springer
SKU: 42060808
Price: 23655 HUF
Availability: InStock
Author: Anthony W. Lin
ISBN: 9783031191350

16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings

Anthony W. Lin

Georg Zetzsche

Igor Potapov

Language

English

E-book Adobe ePub DRM

Publishers Springer, October 2022

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

Libristo code: 42060808

161 b

23 655 Ft

In stock Immediate digital delivery

Customers also purchased

Verano, Licor y una Muerte: Un misterio refrescante y desenfadado Julia Montenegro

Paperback

6 022 Ft

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 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.