Constraint-Based Verification - Jun Yuan - Kirjat - Springer-Verlag New York Inc. - 9780387259475 - perjantai 13. tammikuuta 2006
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

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