Toggle navigation
English
magyar
magyar
English
magyar
Bejelentkezés
Toggle navigation
Tétel megtekintése
Kezdőoldal
Disszertációk (ELTE PHD)
Informatikai Kar PHD
Informatika Doktori Iskola
Tétel megtekintése
Kezdőoldal
Disszertációk (ELTE PHD)
Informatikai Kar PHD
Informatika Doktori Iskola
Tétel megtekintése
JavaScript is disabled for your browser. Some features of this site may not work without it.
Verification of Computer-Based Software with Model Checking
Dávid Ákos
Megjelenés dátuma:
2012
URI:
http://hdl.handle.net/10831/39551
Könyvtári katalógus link:
https://opac.elte.hu/Record/opac-EUL01-000828258
Otherlink:
http://www.doktori.hu/index.php?menuid=193&vid=11578
A tétel részletes adatai
A tételhez tartozó fájlok
Név:
Kd_12427.pdf
Méret:
3.544Mb
Formátum:
PDF
Megosztás:
Megtekintés/
megnyitás
Név:
Kd_12427_tézis.pdf
Méret:
1.178Mb
Formátum:
PDF
Megosztás:
Megtekintés/
megnyitás
Név:
Kd_12427_tézis_angol.pdf
Méret:
1.169Mb
Formátum:
PDF
Megosztás:
Megtekintés/
megnyitás
Keresés az EDIT-ben
Ez a gyűjtemény
Összetett keresés
Témakör szerinti keresés
Böngészés
Teljes EDIT
Kategóriák és gyűjtemények
Megjelenés dátuma
Szerző
Cím
Tárgyszó
Feltöltés dátuma
Ez a gyűjtemény
Megjelenés dátuma
Szerző
Cím
Tárgyszó
Feltöltés dátuma
Felhasználói adataim
Bejelentkezés
Regisztráció