FEEDBACK Smiley face

Your search returned 4 results. Subscribe to this search

|
1. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /

by Ábrahám, Erika [editor.] | Havelund, Klaus [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, 2014.Online access: Click here to access online Availability: No items available

2. Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] :34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /

by Ábrahám, Erika [editor.] | Palamidessi, Catuscia [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, 2014.Online access: Click here to access online Availability: No items available

3. Theory and Practice of Formal Methods [electronic resource] :Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /

by Ábrahám, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [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, 2016.Online access: Click here to access online Availability: No items available

4. Integrated Formal Methods [electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /

by Ábrahám, Erika [editor.] | Huisman, Marieke [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, 2016.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