Automated Technology for Verification and Analysis, Fachbücher von Zhiming Liu, Anders P. Ravn
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
