- 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.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Livre broché | Anglais
158,45 €
+ 316 points
Format
Description
Provides a general flow and description for the validation and verification of UML/OCL models
Demonstrates a detailed realization of the general flow using satisfiability solvers
Includes a case study that presents the possibilities of the state-of-the-art approaches
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 255
- Langue:
- Anglais
Caractéristiques
- EAN:
- 9783319892146
- Date de parution :
- 06-06-19
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 381 g
