José Proença - Böcker

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

4 produkter

Kategorier

4 produkter

Formal Aspects of Component Software

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

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

Häftad, Engelska, 2022

949 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

Av José Proença, Raul Fervari m. fl

Häftad, Engelska, 2025

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

Av Alberto Lluch Lafuente, José Proença m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Formal Aspects of Component Software

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

Av José Proença, Markus Lumpe m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar