Keresés
1 találatból megjelenítve: 1-1
Cím: Az Erlang nyelv párhuzamos programozást támogató
Szerző:
Dátum: 2018-05-15
Feltöltve: 2018-08-23
(2018-05-15)
A diplomamunka az Erlang nyelv párhuzamos programozást támogató nyelvi elemeihez ad formális, futtatható szemantika leírást operációs szemantikában, a K keretrendszer segítségével.