1 - 4
megjelenítése a
4
találatból
Ugrás a tartalomra
Toggle navigation
SZTE Klebelsberg Könyvtár
Repozitóriumok közös keresője
Kapcsolat
Az Ön fiókja
Kilépés
Bejelentkezés
Nyelv
English
Magyar
Mindenben
Cím
Szerző
Teljes szöveg
Keresés
Összetett keresés
Szerző
Dévai Gergely
1 - 4
megjelenítése a
4
találatból
, Keresési idő : 0.02s
Szűkített eredmények
Rendezés
Relevancia
Megjelenés éve (csökkenő)
Megjelenés éve (növekvő)
Utolsó módosítás (növekvő)
Utolsó módosítás (csökkenő)
Szerző
Cím
1
Programming language elements for correctness proofs
Dévai
Gergely
2008
Jelzet:
Töltés...
Található:
Töltés...
Online elérés
Cikk
QR kód megjelenítése
Hozzáadás a kedvencekhez
Elmentve itt :
2
Programming language elements for correctness proofs [abstract] /
Dévai
Gergely
2006
Jelzet:
Töltés...
Található:
Töltés...
Online elérés
Könyv része
QR kód megjelenítése
Hozzáadás a kedvencekhez
Elmentve itt :
3
Metaprogramming on the proof level [abstract] /
Dévai
Gergely
2008
Jelzet:
Töltés...
Található:
Töltés...
Online elérés
Könyv része
QR kód megjelenítése
Hozzáadás a kedvencekhez
Elmentve itt :
4
A comparative study of C++ standard template library's formal specification [abstract] /
Pataki Norbert
,
Dévai
Gergely
2008
Jelzet:
Töltés...
Található:
Töltés...
Online elérés
Könyv része
QR kód megjelenítése
Hozzáadás a kedvencekhez
Elmentve itt :
:
Feliratkozás RSS hírfolyamra
—
Keresés küldése e-mail-ben
—
Keresés mentése
Hasonló tárgy
Számítás- és információtudomány
Természettudományok
Töltés...