Formal Modeling and Analysis of Timed Systems, Fachbücher von Frits W. Vaandrager, Joel Ouaknine
Das Buch "Formal Modeling and Analysis of Timed Systems" dokumentiert die refereed Proceedings der 7. Internationalen Konfere... 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 "Formal Modeling and Analysis of Timed Systems" dokumentiert die refereed Proceedings der 7. Internationalen Konferenz über formale Modellierung und Analyse zeitlicher Systeme, die im September 2009 in Budapest, Ungarn, stattfand. Es umfasst 18 überarbeitete Volltexte sowie 4 eingeladene Vorträge, die aus 40 eingereichten Arbeiten sorgfältig ausgewählt wurden. Ziel der Konferenz war es, die Untersuchung grundlegender und praktischer Aspekte zeitlicher Systeme zu fördern und Forscher aus verschiedenen Disziplinen zusammenzubringen, die ein gemeinsames Interesse an der Modellierung und Analyse dieser Systeme teilen. Die behandelten Themen reichen von den theoretischen Grundlagen über Methoden und Werkzeuge bis hin zu spezifischen Anwendungen in Bereichen, in denen Zeit eine entscheidende Rolle spielt.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer