
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

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.
Über den Autor
- Kartoniert
- 551 Seiten
- Erschienen 1996
- Springer
- Kartoniert
- 245 Seiten
- Erschienen 2011
- Springer
- Gebunden
- 347 Seiten
- Erschienen 2011
- Springer
- Hardcover
- 272 Seiten
- Erschienen 2002
- John Wiley & Sons Inc
- Hardcover
- 324 Seiten
- Erschienen 2002
- Springer
- Kartoniert
- 218 Seiten
- Erschienen 2010
- Springer
- paperback
- 476 Seiten
- Erschienen 2004
- Springer
- hardcover
- 683 Seiten
- Erschienen 2020
- Springer
- Kartoniert
- 375 Seiten
- Erschienen 2018
- Springer
- paperback
- 264 Seiten
- Erschienen 2008
- Springer
- perfect -
- Erschienen 2008
- Schroff Development Corp