Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers - Nils Przigoda - Libros - Springer International Publishing AG - 9783319892146 - 6 de junio de 2019
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 Softcover reprint of the original 1st ed. 2018 edition

Precio
Mex$ 2.727
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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de junio de 2019
ISBN13 9783319892146
Editores Springer International Publishing AG
Páginas 255
Dimensiones 150 × 220 × 10 mm   ·   381 g
Lengua Alemán  

Mere med samme udgiver

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