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

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

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 Dura

Dimensiones

21.6x15.2x1.9 cm

Peso

0.59 kg.

ISBN13

9783319728131

Categorías

Electrónica: circuitos y componentes
Ordenadores centrales («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 Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 280.80$ 154.44

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 154.44

Llega entre el 22 Sep y el 05 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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