José Proença – författare
Visar alla böcker från författaren José Proença.
5 produkter
5 produkter
Del 13712 - Lecture Notes in Computer Science
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Häftad, Engelska, 2022
929 kr
Skickas inom 10-15 vardagar
Del 15551 - Lecture Notes in Computer Science
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Häftad, Engelska, 2025
1 049 kr
Skickas inom 5-8 vardagar
Del 9686 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2016
719 kr
Skickas inom 10-15 vardagar
Del 10487 - Lecture Notes in Computer Science
Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Häftad, Engelska, 2017
719 kr
Skickas inom 10-15 vardagar