Megjelenítés:
1 - 2
/
2
- kulcsszavak: '
'
Skip to content
Előző online katalógus
Gimikatalógus
Saját polc
Kijelentkezés
Bejelentkezés
English
magyar
A könyvtárakban
Külső adatbázisokban
EBSCO adatbázisokban
Egyéb adatbázisokban
Bármely mező
Cím
Szerző
Tárgyszó
ISBN/ISSN
Címke
Böngészés betűrendben: Témakör szerint
Böngészés betűrendben: Szerző szerint
Böngészés betűrendben: Cím szerint
Bármely mező
Bármely mező
Cím
Szerző
Tárgyszó
Folyóirat címe
Bármely mező
Cím
Szerző
Tárgyszó
Jelzet
ISBN/ISSN
Címke
Keresés
Összetett
Böngészés
Szűrők törlése
Tárgyszó:
operational semantics
Szűrők törlése
Szűrők megjelenítése (1)
Tárgyszó:
operational semantics
Keresés:
Megjelenítés:
1 - 2
/
2
- kulcsszavak: '
'
, keresési idő: 0.01mp
Találatok szűrése
Rendezés
Relevancia szerint csökkenő
Megjelenési év szerint csökkenő
Megjelenési év szerint növekvő
Jelzet szerint növekvő
Szerző szerint növekvő
Szerző szerint csökkenő
Cím szerint növekvő
Cím szerint csökkenő
1
A Natural Semantics for Core Erlang Formalised in the Coq Proof Assistant
Szerző:
Bereczky Péter
Megjelenés: 2020-06-04
Ugrás a forráshoz
szakdolgozat
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző:
Boros Attila Péter
Megjelenés: 2020-06-05
Ugrás a forráshoz
szakdolgozat
QR-kód megjelenítése
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
Vissza
Keresés szűkítése
Lelőhely
IK Kari Könyvtár
2
EDIT
2
Különgyűjtemény
Nincs elérhető adat
Formátum
szakdolgozat
2
Nyelv
magyar
2
Szerző
Bereczky Péter
1
Boros Attila Péter
1
Tárgyszó
Coq
2
machine-checked formalisation
2
operational semantics
szakdolgozat
2
szemantika - programozási nyelvek
2
AML
1
többet ...
Erlang formalisation
1
HARP
1
Programozási nyelv - AML
1
denotational semantics
1
fcormal semantics
1
formal semantics
1
formális szemantika - Informatika
1
programozási nyelv - Erlang
1
term rewrite system
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...