Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Software Fault Prevention, Verification, and Validation:...
Image d'archives
Software Fault Prevention, Verification and Validation : First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2?3, 2024, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 49882545-n
Acheter neuf
EUR 53,18
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Fault Prevention, Verification, and Validation
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9789819616206
Acheter neuf
EUR 55,53
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Fault Prevention, Verification, and Validation
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9789819616206
Acheter neuf
EUR 52,12
Frais de port :
EUR 4,73
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Fault Prevention, Verification and Validation : First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2?3, 2024, Proceedings
Edité par
Springer, 2025
ISBN 10 : 9819616204
ISBN 13 : 9789819616206
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 49882545
Acheter D'occasion
EUR 57,97
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Fault Prevention, Verification and Validation : First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2?3, 2024, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 49882545-n
Acheter neuf
EUR 52,11
Frais de port :
EUR 17,07
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9789819616206_new
Acheter neuf
EUR 56,32
Frais de port :
EUR 13,63
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Lecture Notes in Computer Science)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9789819616206
Acheter neuf
EUR 70,10
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Fault Prevention, Verification, and Validation
Edité par
Springer Nature Switzerland AG, CH, 2025
ISBN 10 : 9819616204
ISBN 13 : 9789819616206
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 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. N° de réf. du vendeur LU-9789819616206
Acheter neuf
EUR 70,18
Frais de port :
Gratuit
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Fault Prevention, Verification and Validation : First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2?3, 2024, Proceedings
Edité par
Springer, 2025
ISBN 10 : 9819616204
ISBN 13 : 9789819616206
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 49882545
Acheter D'occasion
EUR 59,03
Frais de port :
EUR 17,07
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Fault Prevention, Verification, and Validation (Paperback)
Edité par
Springer Nature Switzerland AG, Cham, 2025
ISBN 10 : 9819616204
ISBN 13 : 9789819616206
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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 23, 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. 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 23, 2024.The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9789819616206
Acheter neuf
EUR 76,19
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)