Príspevok k modelovaniu a verifikácii diskrétnych udalostných a distribuovaných systémov : Č.v. odb. 5.2.14. Obh. 24.05.2006
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Manuscrito Libro |
| Lenguaje: | Slavic (Other) |
| Publicado: |
Bratislava :
Ústav informatiky SAV,
2006
|
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000ntm a22000003a 4500 | ||
|---|---|---|---|
| 001 | stu123307 | ||
| 005 | 20150617225857.4 | ||
| 008 | 060714s2006----xo------------------sla-d | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a sla | |
| 044 | |a xo | ||
| 100 | 1 | |a Sebestyénová, Jolana |4 aut | |
| 245 | 1 | |a Príspevok k modelovaniu a verifikácii diskrétnych udalostných a distribuovaných systémov : |b Č.v. odb. 5.2.14. Obh. 24.05.2006 | |
| 260 | |a Bratislava : |b Ústav informatiky SAV, |c 2006 | ||
| 300 | |a 153 s | ||
| 650 | 7 | |a automatizácia |2 stusub | |
| 700 | 1 | |a Frankovič, Baltazár |4 ths | |
| 996 | |b 284ED01122 |c E*PGŠ-927 |l EE01 |s A |a 24 |w stu123307_0001 | ||