Hoppa till sidans huvudinnehåll

Alexandre Madeira – författare

Visar alla böcker från författaren .
4 produkter
Alexandre Madeira, Manuel A. Martins - Recent Trends in Algebraic Development Techniques, Häftad
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

AvAlexandre Madeira,Manuel A. Martins

Häftad, Engelska, 2023

799 kr

Skickas inom 5-8 vardagar

Alexandre Madeira, Alexander Knapp - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

AvAlexandre Madeira,Alexander Knapp

Häftad, Engelska, 2024

1 009 kr

Skickas inom 5-8 vardagar

  • Nyhet
Jing Wang, Alexandre Madeira, Lei Li - Dynamic Logic. New Trends and Applications, Häftad
Del 16472 - Lecture Notes in Computer Science

Dynamic Logic. New Trends and Applications

6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers

AvJing Wang,Alexandre Madeiram. fl.

Häftad, Engelska, 2026

709 kr

Skickas inom 10-15 vardagar

Alexandre Madeira, Mário Benevides - Dynamic Logic. New Trends and Applications, Häftad
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

AvAlexandre Madeira,Mário Benevides

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar