Search

Your search returned 2 results.

Results
			Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann. by Barringer, Howard \| Falcone, Ylies \| Finkbeiner, Bernd \| Havelund, Klaus \| Lee, Insup \| Pace, Gordon \| Roşu, Grigore \| Sokolsky, Oleg \| Tillmann, Nikolai \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6418Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
			NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. by Bobaru, Mihaela \| Havelund, Klaus \| Holzmann, Gerard J \| Joshi, Rajeev \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6617Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha