Alexandre Madeira - Böcker

Visar alla böcker från författaren Alexandre Madeira.

3 produkter

Kategorier

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

Av Alexandre Madeira, Manuel A. Martins

Häftad, Engelska, 2023

799 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

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

Av Alexandre Madeira, Alexander Knapp

Häftad, Engelska, 2024

1 189 kr

Skickas inom 10-15 vardagar

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, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar