Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Computer Aided Verification: 15th International Conference, CAV 2003" ist ein Sammelband, der die Beiträge der 15. Internationalen Konferenz zur rechnergestützten Verifikation (CAV) enthält, die im Juli 2003 in Boulder, Colorado stattfand. Diese Konferenzreihe ist eine bedeutende Plattform für den Austausch von Forschungsergebnissen und neuen Ansätzen im Bereich der formalen Verifikation von Softwaresystemen. Die Proceedings umfassen eine Vielzahl von Themen, darunter Modellprüfung, Theorembeweisen, Programmanalyse und -synthese sowie Anwendungen dieser Techniken in verschiedenen Bereichen wie Hardware- und Softwareentwicklung. Ziel ist es, Methoden zu diskutieren und weiterzuentwickeln, die die Zuverlässigkeit und Sicherheit komplexer Systeme verbessern können. Der Band bietet sowohl theoretische als auch praktische Einblicke und richtet sich an Forscher und Praktiker auf dem Gebiet der Informatik mit einem Schwerpunkt auf Verifikationstechniken.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
