Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Reachability Problems

- 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings
Engelsk Paperback

Reachability Problems

- 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings
Engelsk Paperback
Tjek vores konkurrenters priser

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.

Tjek vores konkurrenters priser
Normalpris
kr 716
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser

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.

Produktdetaljer
Sprog: Engelsk
Sider: 165
ISBN-13: 9783030897154
Indbinding: Paperback
Udgave:
ISBN-10: 303089715X
Kategori: Softwareudvikling
Udg. Dato: 26 okt 2021
Længde: 0mm
Bredde: 155mm
Højde: 235mm
Forlag: Springer Nature Switzerland AG
Oplagsdato: 26 okt 2021
Forfatter(e):
Forfatter(e)


Kategori Softwareudvikling


ISBN-13 9783030897154


Sprog Engelsk


Indbinding Paperback


Sider 165


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 26 okt 2021


Oplagsdato 26 okt 2021


Forlag Springer Nature Switzerland AG