Challenges of Software Verification - Intelligent Systems Reference Library - - Livres - Springer Verlag, Singapore - 9789811996030 - 26 juillet 2024
Si la couverture et le titre ne correspondent pas, le titre est correct.

Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

Recevez un courriel lorsque l'article est disponible
Avez-vous un profil ? Connectez-vous

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 26 juillet 2024
ISBN13 9789811996030
Éditeurs Springer Verlag, Singapore
Pages 264
Dimensions 150 × 220 × 10 mm   ·   429 g
Éditeur Arceri, Vincenzo
Éditeur Cortesi, Agostino
Éditeur Ferrara, Pietro
Éditeur Olliaro, Martina

Plus d'ouvrages du même éditeur