Produktnummer:
18628f90dcb06546639b67a8b909b2cbcc
| Themengebiete: | algorithm analysis and problem complexity computational complexity dynamical and hybrid systems model-checking rewriting systems verification |
|---|---|
| Veröffentlichungsdatum: | 17.08.2012 |
| EAN: | 9783642335112 |
| Sprache: | Englisch |
| Seitenzahl: | 149 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Finkel, Alain Leroux, Jerome Potapov, Igor |
| Verlag: | Springer Berlin |
| Untertitel: | 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings |
Produktinformationen "Reachability Problems"
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen