MAT-74006 Concurrency Theory, 7 cr
Toteutuskerta MAT-74006 2016-01
| Periodi | Ei toteuteta lukuvuonna 2016-2017. |
| Opetusmuodot | |
| Vastuuhenkilö | Antti Valmari |
Arvosteluasteikko
Numerical evaluation scale (0-5)
Suoritusvaatimukset
If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination.
Kohderyhmät
DI- ja arkkitehtiopiskelijat , Information Technology , International Students , Jatkotutkinto-opiskelijat , Science and Engineering, MSc (Tech) , Teknis-luonnontieteellinen , Tietotekniikka
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | Lisätiedot | Kieli | Tenttimateriaali |
| Other literature | Composition and Abstraction | Antti Valmari | English | Yes | ||
| Other literature | External Behaviour of Systems of State Machines with Variables | Antti Valmari | English | Yes | ||
| Other literature | Scientific papers in the field | Will be delivered to the students. | English | No |