Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Reachability Problems
4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Engels
145 b
Retourneren binnen 30 dagen
Klanten kochten ook
/
Gebonden (paperback)
17.61
€
/
Gebonden (paperback)
75.65
€
/
Gebonden (paperback)
157.38
€
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.
Informatie over het boek
Engels
Categorieën
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
19.44
€
/
Gebonden (paperback)
20.55
€
/
Gebonden (paperback)
9.41
€
/
Gebonden (paperback)
23.28
€
/
Gebonden (paperback)
23.28
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?