XX_664702 Semantics and Verification - Aalborg University

Fakulta informatiky
jaro 2011

Předmět se v období jaro 2011 nevypisuje.

Rozsah
0/0. 19 kr. Ukončení: zk.
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Vyučovací jazyk
Angličtina
  • Permalink: https://is.muni.cz/predmet/fi/jaro2011/XX_664702