Your search returned 10 results.

Results
	1.	Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13704 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 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)
	3.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings / by Takizawa, Hiroyuki [editor.] Shen, Hong [editor.] Hanawa, Toshihiro [editor.] Hyuk Park, Jong [editor.] Tian, Hui [editor.] Egawa, Ryusuke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13798 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.	Euro-Par 2022: Parallel Processing [electronic resource] : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings / by Cano, José [editor.] Trinder, Phil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13440 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)
	5.	Fundamental Approaches to Software Engineering [electronic resource] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by Johnsen, Einar Broch [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13241 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.	Euro-Par 2023: Parallel Processing [electronic resource] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings / by Cano, José [editor.] Dikaiakos, Marios D [editor.] Papadopoulos, George A [editor.] Pericàs, Miquel [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14100 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)
	7.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 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)
	8.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14500 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)
	9.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14499 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)
	10.	Fundamental Approaches to Software Engineering [electronic resource] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / by Beyer, Dirk [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14573 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