Fortæl dine venner om denne vare:
Constraint-Based Verification Softcover reprint of hardcover 1st ed. 2006 edition
Jun Yuan
Pris
SEK 1.289
Bestilles fra fjernlager
Forventes klar til forsendelse 26. aug. - 1. sep.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Constraint-Based Verification Softcover reprint of hardcover 1st ed. 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 Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 29. oktober 2010 |
| ISBN13 | 9781441938527 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 254 |
| Mål | 155 × 235 × 14 mm · 376 g |
| Sprog | Engelsk |
Se alt med Jun Yuan ( f.eks. Hardcover bog og Paperback Bog )