Top 119 rajesh rv PDF Book Page 5

book image

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.)
·330 Pages
·2013
·5.14 MB

book image

Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers

Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.)
·221 Pages
·2007
·3.79 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.