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.
Read More
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.
Read Less
Add this copy of Constraint-Based Verification to cart. $48.67, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2006 by Springer.
Add this copy of Constraint Based Varification to cart. $50.32, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Constraint-Based Verification (Hb) to cart. $52.16, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Constraint Based Varification to cart. $95.16, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Constraint-Based Verification to cart. $112.18, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Constraint-Based Verification to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Trade paperback (US). Glued binding. 254 p. Contains: Illustrations, black & white, Line drawings, black & white, Tables, black & white, Figures.
Add this copy of Constraint-Based Verification to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2006 by Springer.
Add this copy of Constraint-Based Verification to cart. $116.63, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Constraint-Based Verification to cart. $121.16, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2006 by Springer.
Add this copy of Constraint-Based Verification (Hb) to cart. $121.78, new condition, Sold by Books International rated 3.0 out of 5 stars, ships from Toronto, ON, CANADA, published 2006 by Springer.
