Heike Wehrheim U A (5 results)

Taschenbuch. Condition: Neu. Fundamental Approaches to Software Engineering | 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings | Heike Wehrheim (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2020 | Springer | EAN 9783030452339 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Correct System Design | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings | Roland Meyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2015 | Springer | EAN 9783319235059 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Tests and Proofs | 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2020 | Springer | EAN 9783030509941 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Integrated Formal Methods | 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings | Michael Leuschel (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642002540 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Theoretical Aspects of Computing - ICTAC 2025 | 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings | Zhiming Liu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2025 | Springer | EAN 9783032111753 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…