Automated Theorem Proving in High-Quality Software Design
by Johann Schumann
| Publisher: | Unknows |
| Published In: | 15-Jul-2013 |
| ISBN-10: | 1289165483 |
| ISBN-13: | 9781289165482 |
| 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 "Automated Theorem Proving in High-Quality Software Design" is written by Johann Schumann. This book was published in the year 1520. The ISBN number 1289165483|9781289165482 is assigned to the Paperback version of this title. This book has total of pp. 22 (Pages). The publisher of this title is Unknows. Automated Theorem Proving in High-Quality Software Design is currently Not Available with us.You can enquire about this book and we will let you know the availability.