Product Description
ISBN: 9780387691664
TITLE: SAT-Based Scalable Formal Verification Solutions
AUTHOR: Malay Ganai
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 22 May 2007
AED
AED
ISBN: 9780387691664
TITLE: SAT-Based Scalable Formal Verification Solutions
AUTHOR: Malay Ganai
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 22 May 2007
Popular Trending Products