Vinkkaa tuotetta kavereillesi:
Constraint-Based Verification Softcover reprint of hardcover 1st ed. 2006 edition
Jun Yuan
Hinta
¥ 17.513,10
Tilattu etävarastosta
Arvioitu toimitus ma - ti 8. - 16. syys
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
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
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | perjantai 29. lokakuuta 2010 |
| ISBN13 | 9781441938527 |
| Tuottaja | Springer-Verlag New York Inc. |
| Sivujen määrä | 254 |
| Mitta | 155 × 235 × 14 mm · 376 g |
| Kieli | English |
Katso kaikki joka sisältää Jun Yuan ( Esim. Hardcover Book Ja Paperback Book )