SAT-Based Scalable Formal Verification Solutions
by Malay Ganai
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 15-Aug-2007 |
| ISBN-10: | 0387691669 |
| ISBN-13: | 9780387691664 |
| Binding Type: | Hardback |
| Weight: | 1.82 lbs |
| Pages: | pp. 360, Illus. |
The Title "SAT-Based Scalable Formal Verification Solutions 1st Edition" is written by Malay Ganai. This book was published in the year 2007. The ISBN number 0387691669|9780387691664 is assigned to the Hardback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. xxx + 330 (Pages). The publisher of this title is Springer. We have about 156750 other great books from this publisher. SAT-Based Scalable Formal Verification Solutions 1st Edition is currently Available with us.