Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
A Formal Approach to Multi-Level Complex Systems: Modeling and Analysis | | 978-1-4665-5663-8 | 2017 | Emanuela Merelli · Narges Khakpour |
Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings | | 978-3-642-30828-4 | 2012 |
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers | | 978-3-642-40212-8 | 2013 | Farhad Arbab |
Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers | | 978-3-319-24643-7 | 2015 | Mehdi Dastani |
Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers | | 978-3-319-68971-5 | 2017 | " |
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers | | 978-3-642-29319-1 | 2012 | Farhad Arbab |
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers | | 978-3-642-11622-3 | 2010 | " |
International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings ... / Programming and Software Engineering) | | 978-3-540-75697-2 | 2007 | " |
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings | | 978-3-319-66196-4 | 2017 | Alessandro Cimatti |