Computer Aided Verification, Fachbücher von Ahmed Bouajjani, Oded Maler
106,99 €
Das Buch "Computer Aided Verification" dokumentiert die referierten Beiträge der 21. Internationalen Konferenz zur Computerunterstützten Verifikation, die im Jahr 2009 in Grenoble, Frankreich, stattfand. Es umfasst 36 überarbeitete Volltexte, 16 Tool-Papiere sowie 4 eingeladene Vorträge und 4 Tutorials, die aus insgesamt 135 regulären und 34 Tool-Papier-Einreichungen sorgfältig ausgewählt wurden. Die Beiträge sind auf die Weiterentwicklung der Theorie und Praxis von computerunterstützten formalen Analysemethoden für Hardware- und Softwaresysteme ausgerichtet. Der Inhalt reicht von theoretischen Ergebnissen bis hin zu konkreten Anwendungen, wobei ein besonderer Fokus auf praktischen Verifikationswerkzeugen sowie den zugrunde liegenden Algorithmen und Techniken liegt.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
