Your search returned 7 results.

Results
	1.	Software Engineering and Formal Methods by Antonio Cerone, Marco Roveri Series: Lecture Notes in Computer Science Edition: 1st ed. 2018 Language: EN Publication details: Springer International Publishing 2018 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	2.	Information Technology and Open Source: Applications for Education, Innovation, and Sustainability by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos Series: Lecture Notes in Computer Science Edition: 2014 Language: EN Publication details: Springer Berlin Heidelberg 2014 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	3.	No cover image available Formal Methods for an Informal World by Antonio Cerone Edition: 1st ed. 2023 Publication details: 2023 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	4.	No cover image available Formal Methods for Software Engineering by Markus Roggenbach Antonio Cerone Bernd-Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh Edition: 1st ed. 2022 Publication details: 2022 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	5.	No cover image available Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops by Antonio Cerone Marco Autili Alessio Bucaioni Cláudio Gomes Pierluigi Graziani Edition: 1st ed. 2022 Publication details: 2022 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	6.	No cover image available Software Engineering and Formal Methods by Antonio Cerone Marco Roveri Edition: 1st ed. 2018 Publication details: Springer International Publishing 2018 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	7.	Information Technology and Open Source: Applications for Education, Innovation, and Sustainability by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos Series: Lecture Notes in Computer Science Edition: 2014 Publication details: Springer Berlin Heidelberg 2014 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)

© Designed and Maintained by Vivekananda Library, MDU Rohtak