Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

ISBN 10: 331972813X ISBN 13: 9783319728131
Edité par Springer, 2018
Langue: anglais
Etat : Neuf Couverture rigide

Vendu par Kennys Bookstore, Olney, MD, Etats-Unis

Vendeur AbeBooks depuis 9 octobre 2009

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Neuf(s) - Couverture rigide

Etat : Neuf

Prix:
EUR 247,72
Expédition à EUR 9
Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Ajouter au panier