Constraint-Based Verification - Jun Yuan - Livros - Springer-Verlag New York Inc. - 9780387259475 - 13 de janeiro de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Constraint-Based Verification 2006 edition

Jun Yuan

Preço
Kč 2.727

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 14 - 25 de ago
Adicione à sua lista de desejos do iMusic

Também disponível como:

Constraint-Based Verification 2006 edition

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.


254 pages, 72 black & white illustrations, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 13 de janeiro de 2006
ISBN13 9780387259475
Editoras Springer-Verlag New York Inc.
Páginas 254
Dimensões 155 × 235 × 15 mm   ·   571 g
Idioma English