Porovnanie zmien: označte výberové políčka revízií, ktoré sa majú porovnať a kliknite na tlačidlo dolu.
Legenda: (aktuálna) = rozdiel oproti aktuálnej verzii, (posledná) = rozdiel oproti predchádzajúcej verzii, D = drobná úprava

  • (aktuálna | predošlá) 16:45, 24. august 2008Petrovic (Diskusia | príspevky)d . . (459 bajtov) (+459). . (New page: {{Course | name = Formal Semantics and Theory of Correctness | code = 1-AIN-630 | prerequisites = none | semester = Winter | year = 3 | credits = 6 | form = L - lecture (3) ...)