Reachability Problems, Fachbücher von Igor Potapov, Olivier Bournez
Das Buch "Reachability Problems" präsentiert die Forschungsergebnisse des 3. Internationalen Workshops, der vom 23. bis 25. S... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Reachability Problems" präsentiert die Forschungsergebnisse des 3. Internationalen Workshops, der vom 23. bis 25. September 2009 in Palaiseau, Frankreich, stattfand. Es umfasst 20 vollständige Beiträge, die sich mit verschiedenen Aspekten von Erreichbarkeitsproblemen in algebraischen Strukturen, rechnerischen Modellen, hybriden Systemen und der Verifikation befassen. Erreichbarkeit ist ein zentrales Problem in vielen Modellen und Abstraktionen, die verschiedene rechnerische Prozesse beschreiben. Die behandelten Themen reichen von Erreichbarkeitsproblemen in unendlichen Zustandsystemen über Umformungssysteme bis hin zu dynamischen und hybriden Systemen. Das Buch bietet eine umfassende Analyse der Erreichbarkeit in unterschiedlichen rechnerischen Modellen, einschliesslich Zähler-, Zeit-, Zell- und kommunizierenden Automaten sowie Petri-Netzen. Es beleuchtet auch die rechnerischen Aspekte algebraischer Strukturen und die Vorhersagbarkeit in iterativen Abbildungen sowie neue rechnerische Paradigmen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer