|
|
|
|
| LEADER |
00956nnm a2200253 i 4500 |
| 001 |
eta316 |
| 005 |
20190108091837.0 |
| 008 |
180516s2011 hu o 0|| hun d |
| 020 |
|
|
|a 978-963-279-497-6
|
| 040 |
|
|
|a SZTE Elektronikus Tananyag Archívum
|b hun
|
| 041 |
|
|
|a hun
|
| 100 |
1 |
|
|a Ésik Zoltán
|
| 245 |
1 |
0 |
|a Hardver- és szoftverrendszerek verifikációja
|h [elektronikus dokumentum] :
|b egyetemi tananyag /
|c Ésik Zoltán
|
| 260 |
|
|
|a Typotex
|b Budapest
|c 2011
|
| 300 |
|
|
|a 133
|
| 516 |
|
|
|a Book
|
| 650 |
|
4 |
|a Természettudományok
|
| 650 |
|
4 |
|a Matematika
|
| 650 |
|
4 |
|a Számítás- és információtudomány
|
| 650 |
|
4 |
|a Számítástudomány, információtudomány és bioinformatika
|
| 700 |
0 |
1 |
|a Gombás Éva
|e aut
|
| 700 |
0 |
2 |
|a Németh L. Zoltán
|e aut
|
| 856 |
4 |
0 |
|u https://eta.bibl.u-szeged.hu/316/1/esik_gombas_nemeth_hardver0825.pdf
|z Dokumentum-elérés
|
| 856 |
4 |
0 |
|u https://eta.bibl.u-szeged.hu/316/2/esikgombasnemeth.zip
|z Dokumentum-elérés
|