Reachability Problems

Name: Reachability Problems
Brand: Springer International Publishing AG
SKU: 9783319459936
Price: 19091 HUF
Availability: InStock

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Szerző: Kim Gulstrand Larsen, Igor Potapov, Jirí Srba

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 091 Ft

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Pr...

Információk a könyvről

Szerző

Kim Gulstrand Larsen, Igor Potapov, Jirí Srba

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

193

EAN

9783319459936

ISBN

3319459937

Enbook ID

13787270

Kiadó

Springer International Publishing AG

Súly

3226

Méretek

155 x 235 x 12

Teljes leírás

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 submissions. The papers cover a range of topics in the field of 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.

Érdekelheti

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti