Hoppa till sidans huvudinnehåll

Alexandre Madeira - Böcker

Visar alla böcker från författaren Alexandre Madeira.
3 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

AvAlexandre Madeira,Manuel A. Martins

Häftad, Engelska, 2023

769 kr

Skickas inom 10-15 vardagar

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 149 kr

Skickas inom 10-15 vardagar

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

689 kr

Skickas inom 10-15 vardagar