Search

Your search returned 4 results.

Not what you expected? Check for suggestions

Results
		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)

Powered by Koha