Erika Ábrahám | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS - 34TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FORTE 2014, HELD

Erika Ábrahám; Catuscia Palamidessi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

49,60 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 20TH INTERNATIONAL CONFERENCE, TACAS 2014, HELD AS PART OF T

Erika Abraham; Klaus Havelund
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

49,60 €

THEORY AND PRACTICE OF FORMAL METHODS - ESSAYS DEDICATED TO FRANK DE BOER ON THE OCCASION OF HIS 60TH BIRTHDAY

Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

INTEGRATED FORMAL METHODS - 12TH INTERNATIONAL CONFERENCE, IFM 2016, REYKJAVIK, ICELAND, JUNE 1-5, 2016, PROCEEDINGS

Erika Ábrahám; Marieke Huisman
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

78,60 €

AT THE PINNACLE - ONE WOMAN'S RUNNING JOURNEY

Erika Abraham; Greg Schaffer
Second Chance Publishing (2018)
Pehmeäkantinen kirja

14,80 €

QUANTITATIVE EVALUATION OF SYSTEMS : 19TH INTERNATIONAL CONFERENCE, QEST 2022, WARSAW, POLAND, SEPTEMBER 12–16, 2022, PROCEEDING

Erika Ábrahám (ed.); Marco Paolieri (ed.)
Springer (2022)
Pehmeäkantinen kirja

49,60 €

THEORETICAL ASPECTS OF COMPUTING – ICTAC 2023 : 20TH INTERNATIONAL COLLOQUIUM, LIMA, PERU, DECEMBER 4–8, 2023, PROCEEDINGS

Erika Ábrahám (ed.); Clemens Dubslaff (ed.); Silvia Lizeth Tapia Tarifa (ed.)
Springer (2023)
Pehmeäkantinen kirja

72,80 €

RUNTIME VERIFICATION - 24TH INTERNATIONAL CONFERENCE, RV 2024, ISTANBUL, TURKEY, OCTOBER 15–17, 2024, PROCEEDINGS

Erika Ábrahám; Houssam Abbas
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

54,40 €

FUNDAMENTALS OF SOFTWARE ENGINEERING : 10TH INTERNATIONAL CONFERENCE, FSEN 2023, TEHRAN, IRAN, MAY 4-5, 2023, REVISED SELECTED P

Hossein Hojjat (ed.); Erika Ábrahám (ed.)
Springer (2023)
Pehmeäkantinen kirja

54,40 €

Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held

Erika Ábrahám, Catuscia Palamidessi

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 301 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014 ed.
Julkaisuvuosi: 2014, 21.05.2014 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus