Automated Technology for Verification and Analysis, Fachbücher von Mahesh Viswanathan, Jin-Young Choi, Sungdeok Cha, Moo...
53,49 €
Das Buch "Automated Technology for Verification and Analysis" dokumentiert die referierten Beiträge des 6. Internationalen Symposiums zur automatisierten Technologie für Verifikation und Analyse, das im Oktober 2008 in Seoul, Korea, stattfand. Es umfasst 21 überarbeitete Volltexte, 5 Kurzbeiträge und 7 Werkzeugpapiere, die aus insgesamt 82 Einreichungen sorgfältig ausgewählt wurden. Der Schwerpunkt liegt auf theoretischen Methoden zur Gewährleistung der Korrektheit von Software- und Hardware-Systemen, wobei sowohl funktionale als auch nicht-funktionale Aspekte behandelt werden. Darüber hinaus werden Anwendungen der Theorie in ingenieurtechnischen Methoden und spezifischen Bereichen sowie die Bewältigung praktischer Probleme in Werkzeugen thematisiert. Die Beiträge sind in thematische Abschnitte unterteilt, die Modellprüfung, Softwareverifikation, Entscheidungsverfahren, lineare Zeitanalysen, Werkzeugdemonstrationen, zeitabhängige und stochastische Systeme sowie theoretische Ansätze und Kurzbeiträge umfassen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
