Location:
SVP
|
Courses
|
CL Homepage
|
Dept. of Appl. Inf. (AI and DP)
|
Faculty of Math., Physics, and Inf.
|
Comenius Univ.
Bratislava
|
Slovakia
Related:
Download
|
SVP summer 2007/08
|
SVP summer 2008/09
Slovenská verzia
1-AIN-470
Specification and Verification of Programs Summer 2009/10
This document is available only in
Slovak
.
*
– updated within last 7 days
Last modified:
2013-02-07
T
20:18
+0100