KORSO: Methods, Languages, and Tools for the Construction of Correct SoftwareManfred BroyVypredanáPostrážiť
Applied Mathematical Sciences - 158: Prandtl's Essentials of Fluid Mechanics: Second EditionM. BöhleVypredanáPostrážiť
