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, Berlin
SKU: 41536072
Price: 21866 HUF
Availability: InStock
Author: Anthony W. Lin
ISBN: 9783031191343

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

Anthony W. Lin

Georg Zetzsche

Igor Potapov

Language

English

Book Paperback

Libristo code: 41536072

Publishers Springer, Berlin, November 2021

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

Libristo code: 41536072

149 b

21 866 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

LEER EL MUNDO JUSTO SERNA

Book

5 597 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.