Search

Your search returned 4 results.

Not what you expected? Check for suggestions

Results
		Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. by Broy, Manfred [editor.] \| Grünbauer, Johannes [editor.] \| Harel, David [editor.] \| Hoare, Tony [editor.] \| SpringerLink (Online service). Series: NATO Science Series, Series II: Mathematics, Physics and Chemistry ; 195Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online 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-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. by Broy, Manfred [editor.] \| Jonsson, Bengt [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| Pretschner, Alexander [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3472Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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)
		Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] \| Krüger, Ingolf H [editor.] \| Meisinger, Michael [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4147Source: 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)
		Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Kr�ger, Michael Meisinger. by Broy, Manfred [editor.] \| Kr�ger, Ingolf H [editor.] \| Meisinger, Michael [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4922Source: 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)

Powered by Koha