Constraint-Based Verification - Jun Yuan - Knihy - Springer-Verlag New York Inc. - 9780387259475 - 13. januára 2006
V prípade, že obal a názov nesedia, platí názov

Jun Yuan
Constraint-Based Verification 2006 edition

Cena
€ 117,49

Objednané zo vzdialeného skladu

Očakávané doručenie 18. aug - 1. sep
Dostávajte upozornenia na nové nahrávky interpreta Jun Yuan

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

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

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 13. januára 2006
ISBN13 9780387259475
Vydavatelia Springer-Verlag New York Inc.
Strany 254
Rozmery 155 × 235 × 15 mm   ·   571 g
Jazyk Angličtina  

Viac od toho istého vydavateľa

Pozrieť všetko od Jun Yuan ( napr. Hardcover Book a Paperback Book )