Generating Test Templates via Automated Theorem Proving
by Mani Prasard Kancherla
Publisher: | Unknows |
Published In: | 12-Mar-2013 |
ISBN-10: | 1288910894 |
ISBN-13: | 9781288910892 |
Binding Type: | Paperback |
Weight: | 229 gms |
Pages: | pp. 96, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Generating Test Templates via Automated Theorem Proving" is written by Mani Prasard Kancherla. This book was published in the year 1220. The ISBN number 1288910894|9781288910892 is assigned to the Paperback version of this title. This book has total of pp. 96 (Pages). The publisher of this title is Unknows. Generating Test Templates via Automated Theorem Proving is currently Not Available with us.You can enquire about this book and we will let you know the availability.