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

AvErika Abraham,Greg Schaffer

Häftad, Engelska, 2018

239 kr

Skickas inom 5-8 vardagar

Quantitative Evaluation of Systems

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

AvErika Ábrahám,Marco Paolieri m. fl.

Häftad, Engelska, 2022

719 kr

Skickas inom 10-15 vardagar

Fundamentals of Software Engineering

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

AvHossein Hojjat,Erika Ábrahám

Häftad, Engelska, 2023

859 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2023

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

AvErika Ábrahám,Clemens Dubslaff m. fl.

Häftad, Engelska, 2023

1 109 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

AvErika Á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

AvErika Ábrahám,Marcello Bonsangue m. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvErika Ábrahám,Marieke Huisman m. fl.

Häftad, Engelska, 2016

1 129 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

AvErika Abraham,Klaus Havelund

Häftad, Engelska, 2014

719 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

AvErika Ábrahám,Catuscia Palamidessi

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar