Ebooks de Vincenzo Arceri en PDF

1 Livre(s)
Télécharger le livre : Challenges of Software Verification
Ajouter à ma liste d'envies
Challenges of Software Verification
Vincenzo Arceri , Agostino Cortesi , Pietro Ferrara , Martina Olliaro
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

PDF

158,24 €