Automated Technology for Verification and Analysis, Fachbücher von Zhiming Liu, Anders P. Ravn
Das Buch "Automated Technology for Verification and Analysis" dokumentiert die Proceedings des 7. 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
Das Buch "Automated Technology for Verification and Analysis" dokumentiert die Proceedings des 7. Internationalen Symposiums zur automatisierten Technologie für Verifikation und Analyse, das im Oktober 2009 in Macao, China, stattfand. Es umfasst 23 reguläre Beiträge und 3 Tool-Papiere, die aus insgesamt 74 Forschungsarbeiten und 10 Tool-Papier-Einreichungen sorgfältig ausgewählt wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten der automatisierten Verifikation und Analyse befassen, darunter Zustandsraumreduktion, probabilistische Systeme, temporale Logik sowie Abstraktion und Verfeinerung. Die Sammlung bietet wertvolle Einblicke in aktuelle Entwicklungen und Herausforderungen in diesem dynamischen Forschungsfeld.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer