Search

Your search returned 7 results.

Not what you expected? Check for suggestions

Results
		Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman. by Hierons, Robert M [editor.] \| Bowen, Jonathan P [editor.] \| Harman, Mark [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4949Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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)
		Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. by Börger, Egon [editor.] \| Butler, Michael [editor.] \| Bowen, Jonathan P [editor.] \| Boca, Paul [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5238Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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)
		Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. by Börger, Egon [editor.] \| Butler, Michael [editor.] \| Bowen, Jonathan P [editor.] \| Boca, Paul [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5238Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul [editor.] \| Bowen, Jonathan P [editor.] \| Siddiqi, Jawed [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online 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 Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul [editor.] \| Bowen, Jonathan P [editor.] \| Siddiqi, Jawed [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Electronic Visualisation in Arts and Culture [electronic resource] / edited by Jonathan P. Bowen, Suzanne Keene, Kia Ng. by Bowen, Jonathan P [editor.] \| Keene, Suzanne [editor.] \| Ng, Kia [editor.] \| SpringerLink (Online service). Series: Springer Series on Cultural ComputingSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : 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)
		Electronic Visualisation in Arts and Culture [electronic resource] / edited by Jonathan P. Bowen, Suzanne Keene, Kia Ng. by Bowen, Jonathan P [editor.] \| Keene, Suzanne [editor.] \| Ng, Kia [editor.] \| SpringerLink (Online service). Series: Springer Series on Cultural ComputingSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Powered by Koha