
Conte aos seus amigos sobre este item:
Constraint-Based Verification 2006 edition
Jun Yuan
Constraint-Based Verification 2006 edition
Jun Yuan
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 |
Ver tudo de Jun Yuan ( por exemplo Hardcover Book e Paperback Book )