Compiler-assisted software model checking and monitoring.
by Xiaowan Huang
| Publisher: | Unknows |
| Published In: | 04-May-2012 |
| ISBN-10: | 1248953908 |
| ISBN-13: | 9781248953907 |
| Binding Type: | Paperback |
| Weight: | 285 gms |
| Pages: | pp. 104 |
The Title "Compiler-assisted software model checking and monitoring." is written by Xiaowan Huang. This book was published in the year 0420. The ISBN number 1248953908|9781248953907 is assigned to the Paperback version of this title. This book has total of pp. 104 (Pages). The publisher of this title is Unknows. Compiler-assisted software model checking and monitoring. is currently Not Available with us.You can enquire about this book and we will let you know the availability.