Ergebnisse filtern
Modellierung, UML, SysML
-
Aoki / Taguchi Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34280-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Merz / Pang Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hierons / Merayo / Bravetti Software Engineering and Formal Methods
11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40560-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Conchon / Zaïdi Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25422-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calinescu / Rumpe Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-22968-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerone / Roveri Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74780-4Medium: Buch79,18 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Felleisen / Gardner Programming Languages and Systems
22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37035-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shan Programming Languages and Systems
11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03541-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rauber Du Bois / Trinder Programming Languages
17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40921-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jansen / Malavolta / Muccini Software Architecture
14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58922-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tekinerdogan / Zdun / Babar Software Architecture
10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48991-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Avgeriou / Zdun Software Architecture
8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09969-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Drira Software Architecture
7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39030-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abelló / Bellatreche / Benatallah Model and Data Engineering
2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33608-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cabot / Rubin Modelling Foundations and Applications
10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09194-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11652-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
France / Kazmeier / Breu Model Driven Engineering Languages and Systems
15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33665-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreira / Schätz / Gray Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41532-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Lanese / Madelaine Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15316-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Arbab / Ölveczky Formal Aspects of Component Software
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35742-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments
5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54107-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Braga / Ölveczky Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-28933-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blanchette / Kosmatov Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-21214-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Van Gorp / Ritter / Rose Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Taentzer / Bordeleau Modelling Foundations and Applications
11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-21150-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort