Hoppa till sidans huvudinnehåll

Erika Abraham - Böcker

Visar alla böcker från författaren Erika Abraham.
9 produkter

At The Pinnacle

One Woman's Running Journey

Av Erika Abraham, Greg Schaffer

Häftad, Engelska, 2018

249 kr

Skickas inom 7-10 vardagar

Quantitative Evaluation of Systems

19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

Av Erika Ábrahám, Marco Paolieri m. fl

Häftad, Engelska, 2022

729 kr

Skickas inom 10-15 vardagar

Fundamentals of Software Engineering

10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Av Hossein Hojjat, Erika Ábrahám

Häftad, Engelska, 2023

869 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Av Erika Ábrahám, Clemens Dubslaff m. fl

Häftad, Engelska, 2023

1 139 kr

Skickas inom 10-15 vardagar

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Av Erika Ábrahám, Houssam Abbas m. fl

Häftad, Engelska, 2024

909 kr

Skickas inom 10-15 vardagar

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Av Erika Ábrahám, Marcello Bonsangue m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Av Erika Ábrahám, Marieke Huisman m. fl

Häftad, Engelska, 2016

1 159 kr

Skickas inom 10-15 vardagar

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

Av Erika Abraham, Klaus Havelund

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

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

Av Erika Ábrahám, Catuscia Palamidessi

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar