Fortæl dine venner om denne vare:
Constraint-Based Verification 2006 edition
Jun Yuan
Pris
DKK 974
Bestilles fra fjernlager
Forventes klar til forsendelse 15. - 22. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 13. januar 2006 |
| ISBN13 | 9780387259475 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 254 |
| Mål | 155 × 235 × 15 mm · 571 g |
| Sprog | Engelsk |
Se alt med Jun Yuan ( f.eks. Hardcover bog og Paperback Bog )