Your search returned 7 results.

Results
	1.	Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10886 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Formal Methods for Executable Software Models [electronic resource] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / by Bernardo, Marco [editor.] Damiani, Ferruccio [editor.] Haehnle, Reiner [editor.] Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8483 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Fundamental Approaches to Software Engineering [electronic resource] : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Egyed, Alexander [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9033 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Ernst Denert Award for Software Engineering 2019 [electronic resource] : Practice Meets Foundations / by Felderer, Michael [editor.] Hasselbring, Wilhelm [editor.] Koziolek, Heiko [editor.] Matthes, Florian [editor.] Prechelt, Lutz [editor.] Reussner, Ralf [editor.] Rumpe, Bernhard [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Ernst Denert Award for Software Engineering 2020 [electronic resource] : Practice Meets Foundations / by Felderer, Michael [editor.] Hasselbring, Wilhelm [editor.] Koziolek, Heiko [editor.] Matthes, Florian [editor.] Prechelt, Lutz [editor.] Reussner, Ralf [editor.] Rumpe, Bernhard [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Software Reuse for Dynamic Systems in the Cloud and Beyond [electronic resource] : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings / by Schaefer, Ina [editor.] Stamelos, Ioannis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8919 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Ernst Denert Award for Software Engineering 2022 [electronic resource] : Practice Meets Foundations / by Bodden, Eric [editor.] Felderer, Michael [editor.] Hasselbring, Wilhelm [editor.] Herber, Paula [editor.] Koziolek, Heiko [editor.] Lilienthal, Carola [editor.] Matthes, Florian [editor.] Prechelt, Lutz [editor.] Rumpe, Bernhard [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in