Primjena teorije komunicirajućih slijednih procesa u verifikaciji paralelnih i distribuiranih programskih sustava
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000011989/Details |
|---|---|
| Matična publikacija: |
ITA. Informacija telekomunikacije automati 11 (1992), 3-4 ; str. 333-350 |
| Glavni autor: | Matić, Vjekoslav (-) |
| Vrsta građe: | Članak |
| Jezik: | hrv |
| Predmet: |
| LEADER | 00898caa a2200253 ir4500 | ||
|---|---|---|---|
| 001 | NSK01000011989 | ||
| 003 | HR-ZaNSK | ||
| 008 | 930513s1992 ci ||| ||hrv | ||
| 015 | |a HP92-5457 |2 HR | ||
| 035 | |9 (HR-ZaNSK)12011 | ||
| 035 | |9 (HR-ZaNSK)930513017 | ||
| 035 | |a (HR-ZaNSK)000011989 | ||
| 040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
| 041 | 0 | |a hrv |b eng | |
| 080 | |a 621.391 | ||
| 100 | 1 | |a Matić, Vjekoslav | |
| 245 | 1 | 0 | |a Primjena teorije komunicirajućih slijednih procesa u verifikaciji paralelnih i distribuiranih programskih sustava / |c Vjekoslav Matić. |
| 504 | |a Bibliografija: 7 jed. | ||
| 504 | |a Summary | ||
| 653 | 0 | |a Komunikacijske mreže |a Slijedni procesi |a Procesi | |
| 773 | 0 | |t ITA. Informacija telekomunikacije automati |x 0351-7748 |g 11 (1992), 3-4 ; str. 333-350 |w nsk.(HR-ZaNSK)000011135 | |
| 932 | |a da |b znanstveni rad | ||
| 981 | |p CRO | ||
| 886 | 0 | |2 unimarc |b 00635naa2 2200181 450 | |