

Mathematics of Program Construction
584,-

Computational Science and Its Applications - ICCSA 2025
854,-

Computational Science and Its Applications - ICCSA 2025
971,-

Computational Science and Its Applications - ICCSA 2025
854,-

Computational Science and Its Applications - ICCSA 2024
854,-

Computational Science and Its Applications - ICCSA 2024
2 429,-

Computational Science and Its Applications - ICCSA 2022
971,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Numerical Software Verification
584,-

Computational Science and Its Applications - ICCSA 2020
1 124,-

Mathematics of Program Construction
584,-

Computational Science and Its Applications - ICCSA 2025
854,-

Computational Science and Its Applications - ICCSA 2025
971,-

Computational Science and Its Applications - ICCSA 2025
854,-

Computational Science and Its Applications - ICCSA 2024
854,-

Computational Science and Its Applications - ICCSA 2024
2 429,-

Computational Science and Its Applications - ICCSA 2022
971,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Numerical Software Verification
584,-

Computational Science and Its Applications - ICCSA 2020
1 124,-















