Model Checking Failed Conjectures in Theorem Proving A Case Study
by Lee Pike
| Publisher: | Unknows |
| Published In: | 31-Jul-2013 |
| ISBN-10: | 1287267653 |
| ISBN-13: | 9781287267652 |
| Binding Type: | Paperback |
| Weight: | 86 gms |
| Pages: | pp. 22, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Model Checking Failed Conjectures in Theorem Proving A Case Study" is written by Lee Pike. This book was published in the year 3120. The ISBN number 1287267653|9781287267652 is assigned to the Paperback version of this title. This book has total of pp. 22 (Pages). The publisher of this title is Unknows. Model Checking Failed Conjectures in Theorem Proving A Case Study is currently Not Available with us.You can enquire about this book and we will let you know the availability.