Constraint-Based Verification - Jun Yuan - Books - Springer-Verlag New York Inc. - 9780387259475 - January 13, 2006
In case cover and title do not match, the title is correct

Constraint-Based Verification 2006 edition

Jun Yuan

Price
₪ 440
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 3 - 16

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:

Constraint-Based Verification 2006 edition

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     Hardcover Book   (Book with hard spine and cover)
Released January 13, 2006
ISBN13 9780387259475
Publishers Springer-Verlag New York Inc.
Pages 254
Dimensions 155 × 235 × 15 mm   ·   571 g
Language English  

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