Computer Aided Verification, Fachbücher von Ahmed Bouajjani, Oded Maler
Das Buch "Computer Aided Verification" dokumentiert die referierten Beiträge der 21. Internationalen Konferenz zur Computerun... Mehr erfahren
Finde die besten Angebote
Bester Preis53 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer