Search

Your search returned 7 results.

Not what you expected? Check for suggestions

Results
		Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael [editor.] \| Jones, Cliff B [editor.] \| Romanovsky, Alexander [editor.] \| Troubitsyna, Elena [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4157Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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 and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, Mar�a M. Larrondo-Petrie. by Butler, Michael [editor.] \| Hinchey, Michael G [editor.] \| Larrondo-Petrie, Mar�a M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4789Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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)
		Methods, Models and Tools for Fault Tolerance [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael [editor.] \| Jones, Cliff [editor.] \| Romanovsky, Alexander [editor.] \| Troubitsyna, Elena [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5454Source: 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)
		Methods, Models and Tools for Fault Tolerance [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael [editor.] \| Jones, Cliff [editor.] \| Romanovsky, Alexander [editor.] \| Troubitsyna, Elena [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5454Source: 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 Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Za�di. by Butler, Michael [editor.1] \| Conchon, Sylvain [editor.1] \| Za�di, Fatiha [editor.2 ] \| SpringerLink (Online service)0. Series: Lecture Notes in Computer Science ; 9407 Edition: 1st ed. 2015. Source: Springer eBooks08Material type: Text; Format: electronic available online ; Literary form: Not fiction 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