Alexandre Madeira – författare
Visar alla böcker från författaren Alexandre Madeira. Handla med fri frakt och snabb leverans.
8 produkter
Recent Trends in Algebraic Development Techniques
26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
Av Alexandre Madeira, Manuel A. Martins
Häftad, 2023
854 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from …
Recent Trends in Algebraic Development Techniques
26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
Av Manuel A. Martins, Alexandre Madeira
E-bok, 2023
839 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected …
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Av Alexandre Madeira, Alexander Knapp
Häftad, 2024
1022 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The …
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Av Alexander Knapp, Alexandre Madeira
E-bok, 2024
985 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The …
Dynamic Logic. New Trends and Applications
6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers
Av Jing Wang, Alexandre Madeira m. fl.
Häftad, 2026
552 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 6th International Workshop on Dynamic Logic - New Trends and Applications, DaLí 2025, held in Xi'an, China, during October 20–21, 2025. The 12 full papers included in this volume were carefully reviewed and selected from 31 submissions. These …
Dynamic Logic. New Trends and Applications
6th International Workshop, DaLi 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers
Av Lei Li, Alexandre Madeira m. fl.
E-bok, 2026
718 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 6th International Workshop on Dynamic Logic - New Trends and Applications, DaLí 2025, held in Xi'an, China, during October 20–21, 2025. The 12 full papers included in this volume were carefully reviewed and selected from 31 submissions. These …
Dynamic Logic. New Trends and Applications
First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Av Alexandre Madeira, Mário Benevides
Häftad, 2018
568 kr
Lägg i varukorg
This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope …
Dynamic Logic. New Trends and Applications
First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Av Mario Benevides, Alexandre Madeira
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope …
