Reachability Problems, Fachbücher von Igor Potapov, Alain Finkel, Jerome Leroux
Das Buch "Reachability Problems" dokumentiert die referierten Beiträge des 6. Internationalen Workshops zu Erreichbarkeitspro... Mehr erfahren
Finde die besten Angebote
Bester Preis24 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 1-3 Werktage
Versandkostenfrei | Lieferzeit: 1-3 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Reachability Problems" dokumentiert die referierten Beiträge des 6. Internationalen Workshops zu Erreichbarkeitsproblemen, der im September 2012 in Bordeaux, Frankreich, stattfand. Es umfasst acht überarbeitete Volltexte sowie vier eingeladene Vorträge, die aus insgesamt 15 eingereichten Arbeiten ausgewählt wurden. Die enthaltenen Beiträge bieten einen Einblick in aktuelle Forschungsarbeiten und originale Beiträge zu Erreichbarkeitsproblemen in verschiedenen rechnerischen Modellen und Systemen. Diese Probleme sind von grundlegender Bedeutung und finden Anwendung in einer Vielzahl von Kontexten, darunter endliche und unendliche nebenläufige Systeme, algebraische Strukturen, hybride Systeme sowie logische und verifikationstechnische Ansätze. Die behandelten Themen reichen von der Analyse von Programmen bis hin zu zeitkritischen und offenen Systemen, die als Spiele modelliert sind.
Informationen
Lieferzeit:1-3 Werktage
Marke:Springer