1 résultat(s)
Télécharger le livre : Challenges of Software Verification
Vincenzo Arceri , Agostino Cortesi , Pietro Ferrara , Martina Olliaro
Challenges of Software Verification
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software...
Editeur : Springer
Parution : 2023-07-24

Format(s) : PDF
158,24 €
Téléchargement immédiat
Dès validation de votre commande