Name: Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (en Inglés)
Price: 221.28 EUR
Availability: InStock
Author: Przigoda, Nils ; Wille, Robert ; Przigoda, Judith
ISBN: 9783319892146

portada Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (en Inglés)

Formato

Libro Físico

Autor

Editorial

Idioma

Inglés

N° páginas

255

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.4 cm

Peso

0.38 kg.

ISBN13

9783319892146

Categorías

Electrónica: circuitos y componentes
Mainframes y miniordenadores
Arquitectura y diseño lógico de ordenadores

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

Libro Nuevo

221,28 €

232,92 €

Ahorras: 11,65 €

5% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 24 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de España entre 1 y 5 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

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (en Inglés) - Przigoda, Nils ; Wille, Robert ; Przigoda, Judith

Reseña del libro "Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre