FEEDBACK Smiley face

Your search returned 4 results. Subscribe to this search

|
1. Formal Methods and Software Engineering [electronic resource] :6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings /

by Davies, Jim [editor.] | Schulte, Wolfram [editor.] | Barnett, Mike [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, 2004.Online access: Click here to access online Availability: No items available

2. FM 2011: Formal Methods [electronic resource] :17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /

by Butler, Michael [editor.] | Schulte, Wolfram [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, 2011.Online access: Click here to access online Availability: No items available

3. Model-Driven Engineering Languages and Systems [electronic resource] :17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /

by Dingel, Juergen [editor.] | Schulte, Wolfram [editor.] | Ramos, Isidro [editor.] | Abrahão, Silvia [editor.] | Insfran, Emilio [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. Fields of Logic and Computation II [electronic resource] :Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /

by Beklemishev, Lev D [editor.] | Blass, Andreas [editor.] | Dershowitz, Nachum [editor.] | Finkbeiner, Bernd [editor.] | Schulte, Wolfram [editor.] | SpringerLink (Online service).

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