Compartir
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (en Inglés)
Robert Wille
(Autor)
·
Nils Przigoda
(Autor)
·
Judith Przigoda
(Autor)
·
Springer
· Tapa Blanda
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (en Inglés) - Przigoda, Nils ; Wille, Robert ; Przigoda, Judith
$ 3,591.54
$ 6,530.08
Ahorras: $ 2,938.53
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 05 de Agosto y el
Viernes 16 de Agosto.
Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (en Inglés)"
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
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.