Nasledujúce stránky odkazujú na Course:Specification and Verification of Programs:
Zobraziť (predchádzajúcich 50 | nasledujúcich 50) (20 | 50 | 100 | 250 | 500).- Specification and Verification of Programs (presmerovacia stránka) (← odkazy)
- List of All Courses Provided by Department of Applied Informatics/sk (← odkazy)
- Jan Komara/sk (← odkazy)
- Jan Komara/en (← odkazy)
- List of All Courses Provided by Department of Applied Informatics/en (← odkazy)
- BakTema Heaps/sk (← odkazy)
- Bachelor program in Applied Informatics 2009 2010/sk (← odkazy)
- Bachelor program in Applied Informatics 2009 2010/en (← odkazy)
- Bachelor program in Applied Informatics 2010--2015/sk (← odkazy)