Alexandre Madeira

الكتب
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
٢٠٢٣
Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications
٢٠١٧