José Proença – författare
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
714 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
809 kr
Skickas inom 5-8 vardagar
Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops
ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers
1 536 kr
Kommande
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
551 kr
Skickas inom 10-15 vardagar
Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
551 kr
Skickas inom 10-15 vardagar