Reachability Problems

Name: Reachability Problems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642153488
Price: 1344 CZK
Availability: InStock

4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Autor: Antonin Kucera, Igor Potapov

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: 50 % šance

Prohledáme celý svět

1 344 Kč

This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held...

Informace o knize

Autor

Antonin Kucera, Igor Potapov

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2010

Stránek

199

EAN

9783642153488

ISBN

3642153488

Enbook ID

01656508

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

202

Rozměry

156 x 239 x 13

Kompletní popis

This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). The revised 9 full papers and the 4 invited talks of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures (semigroups, groups and rings), frontiers between decidable and undecidable reachability problems, predictability in iterative maps and new computational paradigms.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Reachability Problems

4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také