Automated Theorem Proving Automated Reasoning, Burrows-Abadi-Needham Logic, Chaff Algorithm, Computer-Assisted Proof, Concolic Testing, Davis-Pu
| Publisher: | Unknows |
| Published In: | 12-Sep-2013 |
| ISBN-10: | 1230599614 |
| ISBN-13: | 9781230599618 |
| Binding Type: | Paperback |
| Weight: | 239 gms |
| Pages: | pp. 102, 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 Automated Reasoning, Burrows-Abadi-Needham Logic, Chaff Algorithm, Computer-Assisted Proof, Concolic Testing, Davis-Pu" was published in the year 1220. The ISBN number 1230599614|9781230599618 is assigned to the Paperback version of this title. This book has total of pp. 102 (Pages). The publisher of this title is Unknows. Automated Theorem Proving Automated Reasoning, Burrows-Abadi-Needham Logic, Chaff Algorithm, Computer-Assisted Proof, Concolic Testing, Davis-Pu is currently Not Available with us.You can enquire about this book and we will let you know the availability.