SAT-Based Scalable Formal Verification Solutions by Malay Ganai - Hardback

AED713.41
(0) Write a Review
SKU:
9780387691664
UPC:
9780387691664

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

Other Details

ISBN:
9780387691664
Author:
Malay Ganai
Publisher:
Springer-Verlag New York Inc.
Publisher Date:
Published:22 May 2007
Book Format:
Hardback