Advanced Formal Verification
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Advanced Formal Verification" von Rolf Drechsler ist ein Fachbuch, das sich mit fortgeschrittenen Methoden und Techniken der formalen Verifikation in der Informatik beschäftigt. Formale Verifikation ist ein entscheidender Prozess zur Sicherstellung der Korrektheit von Hardware- und Software-Systemen durch mathematische Methoden. Das Buch bietet einen umfassenden Überblick über die neuesten Entwicklungen in diesem Bereich und behandelt Themen wie Modellprüfung, Äquivalenzprüfung, SAT-Solver und BDDs (Binary Decision Diagrams). Es richtet sich an Forscher, Ingenieure und Studierende, die sich mit den Herausforderungen der Verifikation komplexer Systeme auseinandersetzen möchten. Durch theoretische Erklärungen sowie praktische Beispiele vermittelt es sowohl grundlegendes Wissen als auch spezialisierte Ansätze zur Lösung spezifischer Verifikationsprobleme.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
