Rozšírené hľadanie
Sobota 30. November 2024 |
meniny má Ondrej, Andrej

Root.cz - zprávičky 14.07.2023 21:15 Na konci prázdnin se bude konat setkání vývojářů jazyka Idris. Jedná se o jazyk pro kritické aplikace s důrazem na bezpečnost a spolehlivost kódu. Formální verifikace například zajištuje v době překladu absenci všech běhových chyb.