Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers - Nils Przigoda - Livros - Springer International Publishing AG - 9783319728131 - 31 de janeiro de 2018
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 144,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Nils Przigoda

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível 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.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de janeiro de 2018
ISBN13 9783319728131
Editoras Springer International Publishing AG
Páginas 255
Dimensões 246 × 163 × 20 mm   ·   528 g
Idioma Alemão  

Mais da mesma editora

Ver tudo de Nils Przigoda