Constraint-Based Verification - Jun Yuan - Knjige - Springer-Verlag New York Inc. - 9781441938527 - 29. oktobra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 96,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 11. - 19. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Na voljo tudi kot:

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 29. oktobra 2010
ISBN13 9781441938527
Založniki Springer-Verlag New York Inc.
Strani 254
Dimenzije 155 × 235 × 14 mm   ·   376 g
Jezik Angleščina  

Mere med samme udgiver

Ogled vseh Jun Yuan ( Na primer Hardcover Book in Paperback Book )