FM 2008: Formal Methods, Fachbücher von Jorge Cuellar, Tom Maibaum
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
