Ésik Zoltán; Gombás Éva; Németh L. Zoltán: Hardver- és szoftverrendszerek verifikációja : egyetemi tananyag. (2011) [Jegyzet, tankönyv]
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) |
|
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 |