Constraint-Based Verification - Jun Yuan - Knihy - Springer-Verlag New York Inc. - 9781441938527 - 29. októbra 2010
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 101,49

Objednané zo vzdialeného skladu

Očakávané doručenie 15. - 23. jún

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

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     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 29. októbra 2010
ISBN13 9781441938527
Vydavatelia Springer-Verlag New York Inc.
Strany 254
Rozmery 155 × 235 × 14 mm   ·   376 g
Jazyk Angličtina  

Mere med samme udgiver

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