Constraint-Based Verification - Jun Yuan - Livros - Springer-Verlag New York Inc. - 9781441938527 - 29 de outubro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Constraint-Based Verification Softcover reprint of hardcover 1st ed. 2006 edition

Jun Yuan

Preço
zł 418,90

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 26 de ago - 3 de set

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

Também disponível como:

Constraint-Based Verification Softcover reprint of hardcover 1st ed. 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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de outubro de 2010
ISBN13 9781441938527
Editoras Springer-Verlag New York Inc.
Páginas 254
Dimensões 155 × 235 × 14 mm   ·   376 g
Idioma English  

Ver tudo de Jun Yuan ( por exemplo Hardcover Book e Paperback Book )