
Vinkkaa tuotetta kavereillesi:
Constraint-Based Verification 2006 edition
Jun Yuan
Hinta
€ 115,99
Tilattu etävarastosta
Arvioitu toimitus to - ma 18. - 29. syys
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
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
Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
Julkaisupäivämäärä | perjantai 13. tammikuuta 2006 |
ISBN13 | 9780387259475 |
Tuottaja | Springer-Verlag New York Inc. |
Sivujen määrä | 254 |
Mitta | 155 × 235 × 15 mm · 571 g |
Kieli | English |
Katso kaikki joka sisältää Jun Yuan ( Esim. Hardcover Book Ja Paperback Book )