FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Formal Methods for Open Object-Based Distributed Systems [electronic resource] :6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings /

by Najm, Elie [editor.] | Nestmann, Uwe [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.Online access: Click here to access online Availability: No items available

2. Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] :26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /

by Najm, Elie [editor.] | Pradat-Peyre, Jean-François [editor.] | Donzeau-Gouge, Véronique Viguié [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.Online access: Click here to access online Availability: No items available

3. SDL 2007: Design for Dependable Systems [electronic resource] :13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /

by Gaudin, Emmanuel [editor.] | Najm, Elie [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in