FM 2008: Formal Methods, Fachbücher von Jorge Cuellar, Tom Maibaum
FM 2008: Formal Methods ist eine umfassende Sammlung von Fachbeiträgen, die die Ergebnisse des 15. Internationalen Symposiums... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
FM 2008: Formal Methods ist eine umfassende Sammlung von Fachbeiträgen, die die Ergebnisse des 15. Internationalen Symposiums zu Formalen Methoden präsentiert, das im Mai 2008 in Turku, Finnland, stattfand. Diese Sammlung umfasst 23 überarbeitete Volltexte, die aus 106 eingereichten Arbeiten ausgewählt wurden, sowie 4 eingeladene Beiträge und erweiterte Abstracts von 5 eingeladenen Industriepräsentationen. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten der formalen Methoden befassen, darunter die Analyse von Programmiersprachen, Verifikation, Echtzeitanwendungen, Nebenläufigkeit, Herausforderungen in der Praxis, Laufzeitüberwachung und -analyse, Kommunikation sowie Constraint-Analyse und Design. Diese Publikation richtet sich an Fachleute und Forscher, die sich mit den neuesten Entwicklungen und Herausforderungen im Bereich der formalen Methoden auseinandersetzen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer