- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Software Fault Prevention, Verification, and Validation
First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings
99,45 €
+ 198 points
Description
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.
Spécifications
Parties prenantes
- Editeur:
Contenu
- Nombre de pages :
- 294
- Langue:
- Anglais
- Collection :
- Tome:
- n° 15393
Caractéristiques
- EAN:
- 9789819616206
- Date de parution :
- 25-02-25
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 439 g
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.