Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
Das Buch "Model Checking Software: 10th International SPIN Workshop" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf dem 10. internationalen SPIN-Workshop präsentiert wurden, der im Mai 2003 in Portland, Oregon stattfand. Diese Veranstaltung versammelte Forscher und Fachleute aus dem Bereich der formalen Verifikation und des Model Checkings, um neueste Entwicklungen, Techniken und Anwendungen zu diskutieren. Die Beiträge im Buch decken verschiedene Aspekte des Model Checkings ab, darunter algorithmische Verbesserungen, Werkzeuge zur Verifikation von Softwaremodellen sowie Fallstudien zur praktischen Anwendung in industriellen Kontexten. Ziel des Workshops war es, den Austausch von Ideen zu fördern und die Zusammenarbeit zwischen Wissenschaftlern und Praktikern zu stärken, um die Zuverlässigkeit und Effizienz von Software durch verbesserte Verifikationsmethoden zu erhöhen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
