Megjelenítés: 1 - 1 / 1 - kulcsszavak: '"programozási nyelv"', keresési idő: 0.04mp Találatok szűrése
1
A Natural Semantics for Core Erlang Formalised in the Coq Proof Assistant
Szerző: Bereczky Péter
Megjelenés: 2020-06-04
Tárgyszavak: “...programozási nyelv - Erlang...”
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