Starší verze

Zde jsou starší verze daného dokumentu. Pro návrat ke starší verzi si ji zvolte ze seznamu níže, stiskněte tlačítko Upravit stránku a uložte ji.

2025/01/03 18:29 courses:a4m33tvs:okruhy – (upraveno mimo DokuWiki) (aktuální)
2017/01/17 16:46 courses:a4m33tvs:okruhy – [(c) Alloy - prvky syntaxe jazyka, signatura, pole, relace, množinové operátory, relační operátory, fakta, funkce, predikáty, tvrzení, jak se provádí analýza specifikace.] marekp11
2017/01/17 16:44 courses:a4m33tvs:okruhy – [(c) Alloy - prvky syntaxe jazyka, signatura, pole, relace, množinové operátory, relační operátory, fakta, funkce, predikáty, tvrzení, jak se provádí analýza specifikace.] marekp11
2017/01/17 16:35 courses:a4m33tvs:okruhy – [(c) Alloy - prvky syntaxe jazyka, signatura, pole, relace, množinové operátory, relační operátory, fakta, funkce, predikáty, tvrzení, jak se provádí analýza specifikace.] marekp11
2017/01/17 16:30 courses:a4m33tvs:okruhy – [(c) Alloy - prvky syntaxe jazyka, signatura, pole, relace, množinové operátory, relační operátory, fakta, funkce, predikáty, tvrzení, jak se provádí analýza specifikace.] marekp11
2017/01/17 16:20 courses:a4m33tvs:okruhy – [(c) Alloy - prvky syntaxe jazyka, signatura, pole, relace, množinové operátory, relační operátory, fakta, funkce, predikáty, tvrzení, jak se provádí analýza specifikace.] marekp11
2017/01/17 13:50 courses:a4m33tvs:okruhy – [(a) Z notace - principy a základní vlastnosti.] marekp11
2017/01/17 13:50 courses:a4m33tvs:okruhy – [(a) Z notace - principy a základní vlastnosti.] marekp11
2017/01/14 14:25 courses:a4m33tvs:okruhy – [(d) Přímé propagování min/max chyby.] marekp11
2017/01/14 14:24 courses:a4m33tvs:okruhy – [(a) Architektura systemu JPF a vlastnosti systemu.] marekp11
2017/01/14 14:23 courses:a4m33tvs:okruhy – [(b) Pouziti systemu JPF pro generovani testovacich pripadu.] marekp11
2017/01/14 14:20 courses:a4m33tvs:okruhy – [(a) Architektura systemu JPF a vlastnosti systemu.] marekp11
2017/01/14 14:19 courses:a4m33tvs:okruhy – [(d) Přímé propagování min/max chyby.] marekp11
2017/01/14 14:19 courses:a4m33tvs:okruhy – [(d) Přímé propagování min/max chyby.] marekp11
2017/01/14 14:09 courses:a4m33tvs:okruhy – [(c) Alloy - prvky syntaxe jazyka, signatura, pole, relace, množiinové operátory, relační operátory, fakta, funkce, predikáty, tvrzení, jak se provádí analýza specifikace.] marekp11
2017/01/14 13:53 courses:a4m33tvs:okruhy marekp11
2015/01/08 20:29 courses:a4m33tvs:okruhy – [(a) Princip a základní charakteristiky metod ověřování modelů.] koprija6
2015/01/08 20:29 courses:a4m33tvs:okruhy – [(a) Princip a základní charakteristiky metod ověřování modelů.] koprija6
2015/01/08 20:25 courses:a4m33tvs:okruhy – [(b) Postup návrhu testů.] koprija6
2015/01/07 21:47 courses:a4m33tvs:okruhy – [12. JPF] furtuand
2015/01/07 21:44 courses:a4m33tvs:okruhy – [21. JPF] furtuand

courses/a4m33tvs/okruhy.txt · Poslední úprava: 2025/01/03 18:29 (upraveno mimo DokuWiki)

Nahoru