Hoppa till sidans huvudinnehåll

José Proença - Böcker

Visar alla böcker från författaren José Proença.
4 produkter

Formal Aspects of Component Software

18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

AvSilvia Lizeth Tapia Tarifa,José Proença m. fl.

Häftad, Engelska, 2022

919 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

AvJosé Proença,Raul Fervari m. fl.

Häftad, Engelska, 2025

1 029 kr

Skickas inom 10-15 vardagar

Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

AvAlberto Lluch Lafuente,José Proença m. fl.

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

AvJosé Proença,Markus Lumpe m. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar