Static analysis of class invariants in Java programs.
by Lidia Dionisia Bonilla-Quintero
| Publisher: | Unknows |
| Published In: | 03-Sep-2011 |
| ISBN-10: | 1243548703 |
| ISBN-13: | 9781243548702 |
| 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 "Static analysis of class invariants in Java programs." is written by Lidia Dionisia Bonilla-Quintero. This book was published in the year 0320. The ISBN number 1243548703|9781243548702 is assigned to the Paperback version of this title. This book has total of pp. 96 (Pages). The publisher of this title is Unknows. Static analysis of class invariants in Java programs. is currently Not Available with us.You can enquire about this book and we will let you know the availability.