Produktnummer:
180d780feb00f74627adba37ce03c83035
| Themengebiete: | Analysis Defect Detection Formal Methods Implementation Language Software Fault Prevention Software Validation Software Verification Specification Testing |
|---|---|
| Veröffentlichungsdatum: | 25.02.2025 |
| EAN: | 9789819616206 |
| Sprache: | Englisch |
| Seitenzahl: | 294 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Liu, Shaoying |
| Verlag: | Springer Singapore |
| Untertitel: | First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings |
Produktinformationen "Software Fault Prevention, Verification, and Validation"
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2–3, 2024.The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and validation.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen