Constraint-Based Verification - Jun Yuan - Książki - Springer-Verlag New York Inc. - 9781441938527 - 29 października 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Jun Yuan
Constraint-Based Verification Softcover reprint of hardcover 1st ed. 2006 edition

Cena
zł 419,90

Zamówione z odległego magazynu

Przewidywana dostawa 17 - 25 wrz
Otrzymuj powiadomienia o nowych wydawnictwach Jun Yuan

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

Również dostępne jako:

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 29 października 2010
ISBN13 9781441938527
Wydawcy Springer-Verlag New York Inc.
Strony 254
Wymiary 155 × 235 × 14 mm   ·   376 g
Język Angielski  

Więcej od tego samego wydawcy

Zobacz wszystko od Jun Yuan