Course details

Formal Specification of Information Technology Systems

QTC Acad. year 2003/2004 Winter semester 4 credits

Current academic year

Guarantor

Švéda Miroslav, prof. Ing., CSc.

Language of instruction

Czech

Completion

Examination

Time span

Department

Department of Information Systems (UIFS)