Your search returned 4 results.

Results
	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 Abraham, Erika [editor.] Havelund, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8413 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by Ábrahám, Erika [editor.] Paolieri, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13479 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)
	3.	Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / by Hojjat, Hossein [editor.] Ábrahám, Erika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14155 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	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) Series: Programming and Software Engineering ; 8461 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 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