Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers - Nils Przigoda - Libros - Springer International Publishing AG - 9783319728131 - 31 de enero de 2018
En caso de que portada y título no coincidan, el título será el correcto

Nils Przigoda
Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers 1st ed. 2018 edition

Precio
Mex$ 2.721
sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 16 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.

255 pages, 40 Tables, color; 5 Illustrations, color; 11 Illustrations, black and white; XII, 255 p.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de enero de 2018
ISBN13 9783319728131
Editores Springer International Publishing AG
Páginas 255
Dimensiones 150 × 220 × 20 mm   ·   585 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Nils Przigoda ( Ej. Hardcover Book y Paperback Book )