Location: Courses | CL Homepage | Dept. of Appl. Inf. (AI and DP) | Faculty of Math., Physics, and Inf. | Comenius Univ. Bratislava | Slovakia

Related: Download | SVP summer 2003/04 | SVP summer 2004/05 | SVP summer 2006/07

Slovenská verzia

M-INAA-046 Specification and Verification of Programs

This document is available only in Slovak.

* – updated within last 7 days

Last modified: 2008-02-01T12:44+0100