Erika abraham u a (8 resultados)

Taschenbuch. Condición: Neu. Theory and Practice of Formal Methods | Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | Erika Ábrahám (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2016 | Springer | EAN 9783319307336 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings | Erika Abraham (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 9783642548611 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Techniques for Distributed Objects, Components, and Systems | 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9783662436127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Quantitative Evaluation of Systems | 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2022 | Springer | EAN 9783031163357 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Runtime Verification | 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | xvi | Englisch | 2024 | Springer | EAN 9783031742330 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Fundamentals of Software Engineering | 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers | Hossein Hojjat (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2023 | Springer | EAN 9783031424403 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Integrated Formal Methods | 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2016 | Springer | EAN 9783319336923 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Theoretical Aspects of Computing - ICTAC 2023 | 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2023 | Springer | EAN 9783031479625 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…