Constraint-Based Verification - Jun Yuan - Books - Springer-Verlag New York Inc. - 9781441938527 - October 29, 2010
In case cover and title do not match, the title is correct

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

Price
R 1,779
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Mar 31 - Apr 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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 Books     Paperback Book   (Book with soft cover and glued back)
Released October 29, 2010
ISBN13 9781441938527
Publishers Springer-Verlag New York Inc.
Pages 254
Dimensions 155 × 235 × 14 mm   ·   376 g
Language English  

See all of Jun Yuan ( e.g. Hardcover Book and Paperback Book )