Search

Your search returned 6 results.

Not what you expected? Check for suggestions

Results
		Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings / edited by Corina S. Păsăreanu. by Păsăreanu, Corina S [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5578Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings / edited by Corina S. Păsăreanu. by Păsăreanu, Corina S [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5578Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by Păsăreanu, Corina S [editor.] \| Salaün, Gwen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7684Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by Păsăreanu, Corina S [editor.] \| Salaün, Gwen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7684Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] \| Păsăreanu, Corina S [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 9207Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] \| Păsăreanu, Corina S [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 9206Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)

Powered by Koha