http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=Formal_Semantics_and_Theory_of_Correctness%2Fen 2026-04-19T04:56:57Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Formal_Semantics_and_Theory_of_Correctness/en&diff=2767&oldid=prev 2008-08-24T14:45:14Z

<p>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) ...</p> <p><b>Nová stránka</b></p><div>{{Course<br /> | name = Formal Semantics and Theory of Correctness<br /> | code = 1-AIN-630<br /> | prerequisites = none<br /> | semester = Winter<br /> | year = 3<br /> | credits = 6<br /> | form = L - lecture (3)<br /> | evaluation = 50/50 <br /> | webpage = not available<br /> | teacher = not available<br /> | email = not available<br /> | homepage = not available <br /> | description = not available <br /> | offered_in = Elective in [[Bachelor program in Applied Informatics]]<br /> | recommendations = none<br /> }}</div>

Petrovic