Reachability Problems, Fachbücher von Igor Potapov, Olivier Bournez
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
