Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Reachability Problems

Name: Reachability Problems
Brand: Springer Nature Switzerland AG
SKU: 33291738
Price: 54.48 EUR
Availability: InStock
Author: Sylvain Schmitz
ISBN: 9783030617387

Sylvain Schmitz

Language

English

Book Paperback

Libristo code: 33291738

Publishers Springer Nature Switzerland AG, October 2020

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

Libristo code: 33291738

132 b

54.48 €

106.56 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Zur Geschichte der benannten Realcontracte auf Rückgabe derselben Species August Ubbelohde

Paperback

19.21 € 37.57 лв

Confección de cojines y ropa de hogar RODRIGUEZ

Paperback

14.60 € 28.56 лв

Leistungspflichten und Haftung für UnternehmensberaterInnen in Deutschland und Österreich Hans-Peter Dick

Paperback

45.37 € 88.73 лв

Syzyfowe prace Żeromski Stefan

Paperback

4.81 € 9.41 лв

CRIPTOMONEDAS JOSE MANUEL TORRES

Paperback

26.57 € 51.96 лв

La Regenta Tomo I Leopoldo Alas Clarin

Paperback

13.93 € 27.24 лв

DIGA SANDERS ALEX

Hardback

10.82 € 21.16 лв

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. 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.