Ésik Zoltán; Gombás Éva; Németh L. Zoltán: Hardver- és szoftverrendszerek verifikációja : egyetemi tananyag. (2011) [Jegyzet, tankönyv]
![[thumbnail of esik_gombas_nemeth_hardver0825.pdf]](https://eta.bibl.u-szeged.hu/style/images/fileicons/text.png "esik_gombas_nemeth_hardver0825.pdf") | Szöveg esik_gombas_nemeth_hardver0825.pdf Hozzáférés korlátozott: Csak SZTE eduID-val rendelkezők [Videós segédlet] Letöltés (2MB) |
![[thumbnail of esikgombasnemeth.zip]](https://eta.bibl.u-szeged.hu/style/images/fileicons/archive.png "esikgombasnemeth.zip") | Archív esikgombasnemeth.zip Hozzáférés korlátozott: Csak SZTE eduID-val rendelkezők [Videós segédlet] Letöltés (1MB) |
| Oktatási anyag típusa: | Jegyzet, tankönyv |
|---|---|
| Dátum: | 2011 |
| Kiadó: | Typotex |
| Kiadás helye: | Budapest |
| ISBN: | 978-963-279-497-6 |
| Oldalszám: | 133 |
| Nyelv: | magyar |
| Tananyag típusa: | jegyzet, tankönyv |
| Projektek: | TÁMOP-4.1.2-08/1/A-2009-0008 |
| Kar: | Természettudományi és Informatikai Kar |
| Megjegyzések: | Bibliogr.: p. 131-133. |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.01. Matematika 01. Természettudományok > 01.02. Számítás- és információtudomány 01. Természettudományok > 01.02. Számítás- és információtudomány > 01.02.01. Számítástudomány, információtudomány és bioinformatika |
| Feltöltés dátuma: | 2018. Máj. 16. 09:00 |
| Utolsó módosítás: | 2019. Jan. 08. 09:18 |
| URI: | https://eta.bibl.u-szeged.hu/id/eprint/316 |
 | Tétel nézet |
