José Proença – författare
Visar alla böcker från författaren José Proença. Handla med fri frakt och snabb leverans.
9 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
Häftad, 2022
736 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component …
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Av Jose Proenca, Silvia Lizeth Tapia Tarifa
E-bok, 2022
923 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022. The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component …
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, 2025
832 kr
Lägg i varukorg
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were …
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
Av Graham Pluck, Reinhard Kahle m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were …
Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops
ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers
Av Francesco Bianchini, Arianna Pavone m. fl.
Häftad, 2027
1202 kr
Kommande
This volume constitutes the papers of two workshops which were held in conjunction with the 23rd International Workshop on Software Engineering and Formal Methods, SEFM 2025 Collocated Workshops, held in Toledo, Spain, on November 11, 2025.The 12 full papers and 5 short papers presented in this …
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
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full …
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 Jose Proenca, Alberto Lluch Lafuente
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Coordination Models and Languages, COORDINATION 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 16 full …
Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is …
Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is …
