2 Ebooks door Alexandre Madeira
Mario Benevides & Alexandre Madeira: Dynamic Logic. New Trends and Applications
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 potent …
EPUB
Engels
DRM
€57.64
Alexandre Madeira & Manuel A. Martins: Recent Trends in Algebraic Development Techniques
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 …
EPUB
Engels
DRM
€57.76
