Alexandre Madeira - Böcker
Visar alla böcker från författaren Alexandre Madeira.
4 produkter
4 produkter
Del 13710 - Lecture Notes in Computer Science
Recent Trends in Algebraic Development Techniques
26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
Häftad, Engelska, 2023
779 kr
Skickas inom 7-10 vardagar
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Häftad, Engelska, 2024
999 kr
Skickas inom 7-10 vardagar
- Nyhet
Dynamic Logic. New Trends and Applications
6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers
Häftad, Engelska, 2026
999 kr
Kommande
Del 10669 - Lecture Notes in Computer Science
Dynamic Logic. New Trends and Applications
First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Häftad, Engelska, 2018
689 kr
Skickas inom 10-15 vardagar