Your search returned 4 results.

Results
	1.	FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. by International Symposium on Formal Methods (17th : 2011 : Limerick, Ireland) Schulte, Wolfram [edt.] Butler, Michael [edt.] Series: Lecture Notes in Computer Science ; 6664 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	Fields of Logic and Computation II [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. by Beklemishev, Lev D [edt] Blass, Andreas [edt] Dershowitz, Nachum [edt] Finkbeiner, Bernd [edt] Schulte, Wolfram [edt] Series: Lecture Notes in Computer Science ; 9300 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	3.	Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran. by Dingel, Juergen [edt] Schulte, Wolfram [edt] Ramos, Isidro [edt] Abrahão, Silvia [edt] Insfran, Emilio [edt] Series: Lecture Notes in Computer Science ; 8767 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	4.	Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran. by Dingel, Juergen [edt] Schulte, Wolfram [edt] Ramos, Isidro [edt] Abrahão, Silvia [edt] Insfran, Emilio [edt] Series: Lecture Notes in Computer Science ; 8767 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists

web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India