Kursusnavn (dansk): | Formel semantik for programmerigssprog 041013/213 |
Kursusnavn (engelsk): | Formal semantics of programming languages 041013/213 |
Semester: | Forår 2004 |
Udbydes under: | cand.it., internet- og softwareteknologi (int) |
Omfang i ECTS: | 10,00 |
Kursussprog: | Engelsk |
Kursushjemmeside: | https://learnit.itu.dk |
Min. antal deltagere: | 0 |
Forventet antal deltagere: | 5 |
Maks. antal deltagere: | 20 |
Formelle forudsætninger: | See <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=45386&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
Læringsmål: | See <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=45386&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
Fagligt indhold: | See <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=45386&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
Læringsaktiviteter: | See <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=45386&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), 13-skala, Intern censur See <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=45386&Sprog=DK&InFrame=0\">homepage for this course at DIKU
|
Litteratur udover forskningsartikler: | See <a href=\"http://sis.ku.dk/lp/VisKursus.asp?Knr=45386&Sprog=DK&InFrame=0\">homepage for this course at DIKU |
| |