| Kurzus címe: | L Hardware és software rendszerek verifikációja |
| Kurzus kódja: | IBL615e-1 (ILk_BSc (Informatikai Tszcs. kötelező levelező tárgyak)) |
| Kurzus típusa: | _Előadás, _Kollokvium |
| Melyik szakon: | programtervező matematikus (E) (TTIK Természettudományi és Informatikai Kar) |
| Melyik képzési programban: | Programtervező matematikus_L [IPTM_L] (E) (levelező tagozat) |
| Tárgyelem megnevezés: | Hardware és software rendszerek verifikációja |
| Javasolt legkorábbi félév: | 6 |
| Kötelező: | Kötelező |
| Mikor: | 3.28. 12-14, 3.29. 12-14, 4.5. 8-10, 4.11. 12-14, 4.11. 17-18, 4.12. 11-14, 4.18. 10-12, 4.19. 10-12, 5.17. 8-10 |
| Hol: | Irinyi 219 |
| Oktató(k): | Gombás Éva Dr.. |
| Meghirdető tanszék: | Informatikai Tanszékcsoport |
| Kreditek száma: | 4 |
| Óraszám: | Félévre 18 |
| Maximális létszám: | 36 |
| Leírás: | http://www.inf.u-szeged.hu/oktatas/kurzusleirasok/IB615.xml |
| Utolsó módosítás dátuma: 2008-02-27 09:35 | © Makay Géza |