Megjelenítés: 1 - 5 / 5 - kulcsszavak: '"szemantika"', keresési idő: 0.05mp Találatok szűrése
1
Az SQL nyelv formális szemantikája és validációja
Szerző: Horváth Ádám
Megjelenés: 2020-12-15
Tárgyszavak: “...formális szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
2
A zene szemantikai kutatásának kísérleti implementációi
Szerző: Ilyés Alex Roland
Megjelenés: 2020-05-15
Tárgyszavak: “...szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
3
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Piszkor Balázs
Megjelenés: 2020-06-04
Tárgyszavak: “...szemantika - programozási nyelvek...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
4
A Natural Semantics for Core Erlang Formalised in the Coq Proof Assistant
Szerző: Bereczky Péter
Megjelenés: 2020-06-04
Tárgyszavak: “...formális szemantika - Informatika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
5
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Boros Attila Péter
Megjelenés: 2020-06-05
Tárgyszavak: “...szemantika - programozási nyelvek...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése