Ina schaefer u a (5 Ergebnisse)

Taschenbuch. Zustand: Neu. Ernst Denert Award for Software Engineering 2020 | Practice Meets Foundations | Michael Felderer (u. a.) | Taschenbuch | vi | Englisch | 2022 | Springer | EAN 9783030831301 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[d…

Taschenbuch. Zustand: Neu. Fundamental Approaches to Software Engineering | 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings | Alexander Egyed (u. a.) | Taschenbuch | xiv | Englisch | 2015 | Springer…

Taschenbuch. Zustand: Neu. Software Engineering and Formal Methods | 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings | Einar Broch Johnsen (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783319929699 | Verantwortliche Person für die EU: Springer…

Taschenbuch. Zustand: Neu. Software Reuse for Dynamic Systems in the Cloud and Beyond | 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings | Ina Schaefer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2014 | Springer | EAN 9783319141299 | Veran…

Taschenbuch. Zustand: Neu. Formal Methods for Executable Software Models | 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures | Marco Bernardo (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii…