Kozsik Tamás: Típusok a programhelyesség-bizonyítás szolgálatában (Formális eszközök az informatikában szeminárium)

Kozsik Tamás: Típusok a programhelyesség-bizonyítás szolgálatában (Formális eszközök az informatikában szeminárium)
10/21

2009. október 21.

2.512

10/21

2009. október 21. -

2.512

A weboldalon „cookie”-kat („sütiket”) használunk, hogy biztonságos böngészés mellett a legjobb felhasználói élményt nyújthassuk látogatóinknak. A cookie-beállítások bármikor megváltoztathatók a böngésző beállításaiban. További információ

Elfogadom