Automatic Verification of String Manipulating Programs.
by Fang Yu
| Publisher: | Unknows |
| Published In: | 30-Sep-2011 |
| ISBN-10: | 1244584975 |
| ISBN-13: | 9781244584976 |
| Binding Type: | Paperback |
| Weight: | 549 gms |
| Pages: | pp. 242 |
The Title "Automatic Verification of String Manipulating Programs." is written by Fang Yu. This book was published in the year 3020. The ISBN number 1244584975|9781244584976 is assigned to the Paperback version of this title. This book has total of pp. 242 (Pages). The publisher of this title is Unknows. Automatic Verification of String Manipulating Programs. is currently Not Available with us.You can enquire about this book and we will let you know the availability.