É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) | 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) | 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 | 

 
      