Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Anna Philippou, Stefan Kowalewski
Das Buch "Tools and Algorithms for the Construction and Analysis of Systems" ist eine Sammlung von ausgewählten Beiträgen der... 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 "Tools and Algorithms for the Construction and Analysis of Systems" ist eine Sammlung von ausgewählten Beiträgen der 15. Internationalen Konferenz zu diesem Thema, die im Jahr 2009 in York, Grossbritannien, stattfand. Es umfasst 27 vollständige wissenschaftliche Arbeiten und 8 Tool-Demonstrationen, die aus insgesamt 131 eingereichten Beiträgen sorgfältig ausgewählt wurden. Die Beiträge sind in thematische Abschnitte unterteilt, die sich mit verschiedenen Aspekten der Systemanalyse und -konstruktion befassen, darunter Model Checking, Werkzeuge, Verifikation von Nebenläufigen Programmen, parametrische Analyse, Programm-Analyse und hybride Systeme. Diese Sammlung bietet wertvolle Einblicke in aktuelle Forschungsergebnisse und Entwicklungen in der Softwaretheorie und -praxis und richtet sich an Fachleute und Wissenschaftler, die sich mit der Analyse und Konstruktion von Systemen beschäftigen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer