FEEDBACK Smiley face

Your search returned 4 results. Subscribe to this search

|
1. Formal Methods for Industrial Critical Systems [electronic resource] :16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /

by Salaün, Gwen [editor.] | Schätz, Bernhard [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, 2011.Online access: Click here to access online Availability: No items available

2. Formal Aspects of Component Software [electronic resource] :9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /

by Păsăreanu, Corina S [editor.] | Salaün, Gwen [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, 2013.Online access: Click here to access online Availability: No items available

3. Software Engineering and Formal Methods [electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /

by Giannakopoulou, Dimitra [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service).

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

4. Software Technologies: Applications and Foundations [electronic resource] :STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /

by Mazzara, Manuel [editor.] | Ober, Iulian [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online 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