Your search returned 9 results.

Results
	1.	Formal Methods and Software Engineering by Yamine Ait-Ameur, Shengchao Qin Series: Lecture Notes in Computer Science Edition: 1st ed. 2019 Language: EN Publication details: Springer International Publishing 2019 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	2.	ABZ 2014: The Landing Gear Case Study by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe Series: Communications in Computer and Information Science Edition: 2014 Language: EN Publication details: Springer International Publishing 2014 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	3.	Abstract State Machines, Alloy, B, TLA, VDM, and Z by Yamine Ait Ameur, Klaus-Dieter Schewe 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)
	4.	Model and Data Engineering by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos Series: Lecture Notes in Computer Science Edition: 2014 Language: EN Publication details: Springer International Publishing 2014 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	5.	No cover image available Theoretical Aspects of Software Engineering by Yamine Aït-Ameur Florin Crăciun 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 Formal Methods and Software Engineering by Yamine Ait-Ameur Shengchao Qin Edition: 1st ed. 2019 Publication details: Springer International Publishing 2019 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	7.	Model and Data Engineering by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos Series: Lecture Notes in Computer Science Edition: 2014 Publication details: Springer International Publishing 2014 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	8.	Abstract State Machines, Alloy, B, TLA, VDM, and Z by Yamine Ait Ameur, Klaus-Dieter Schewe 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)
	9.	ABZ 2014: The Landing Gear Case Study by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe Series: Communications in Computer and Information Science Edition: 2014 Publication details: Springer International Publishing 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