Einar Broch Johnsen U A (9 results)

Taschenbuch. Condition: Neu. Fundamental Approaches to Software Engineering | 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings | Einar Broch Johnsen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2022 | Springer | EAN 9783030994280 | 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. Service-Oriented and Cloud Computing | 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings | Flavio De Paoli (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2017 | Springer | EAN 9783319672618 | 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 | 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings | Sebastian Gabmeyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2017 | Springer | EAN 9783319614663 | 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. 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 | Lecture Notes in Computer Science | xiv | Englisch | 2018 | Springer | EAN 9783319929699 | 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 | 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings | Einar Broch Johnsen (u. a.) | Taschenbuch | xiv | Englisch | 2013 | Springer | EAN 9783642386121 | 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. 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 | Englisch | 2014 | Springer | EAN 9783319073163 | 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. Service-Oriented and Cloud Computing | 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings | Marco Aiello (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2016 | Springer | EAN 9783319444819 | 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. Active Object Languages: Current Research Trends | Frank de Boer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9783031510595 | 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. The Logic of Software. A Tasting Menu of Formal Methods | Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2022 | Springer | EAN 9783031081651 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…