Using Runtime Analysis to Guide Model Checking of Java Programs
by Klaus Havelund
| Publisher: | Unknows |
| Published In: | 06-Aug-2013 |
| ISBN-10: | 1289277125 |
| ISBN-13: | 9781289277123 |
| Binding Type: | Paperback |
| Weight: | 90 gms |
| Pages: | pp. 24, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Using Runtime Analysis to Guide Model Checking of Java Programs" is written by Klaus Havelund. This book was published in the year 0620. The ISBN number 1289277125|9781289277123 is assigned to the Paperback version of this title. This book has total of pp. 24 (Pages). The publisher of this title is Unknows. Using Runtime Analysis to Guide Model Checking of Java Programs is currently Not Available with us.You can enquire about this book and we will let you know the availability.