Your search returned 4 results.

Results
1.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Radu Calinescu, Bernhard Rumpe Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.	Image from Amazon.com Image from Coce	Globalizing Domain-Specific Languages by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc J�z�quel, Bernhard Rumpe Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
4.	Image from Amazon.com Image from Coce	Ernst Denert Award for Software Engineering 2022 by Eric Bodden Bernhard Rumpe Carola Lilienthal Florian Matthes Heiko Koziolek Lutz Prechelt Michael Felderer Paula Herber Wilhelm Hasselbring Edition: 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).