|
|
|
|
| LEADER |
01334nam a2200241uu 4500 |
| 005 |
20190618144128.0 |
| 008 |
s1997 ci a |||||||||| ||hrv|d |
| 035 |
|
|
|a HR-ZaFER 12053
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 041 |
|
|
|a hrv
|
| 080 |
|
|
|a 654.9
|h TELEKOMUNIKACIJE I DALJINSKO UPRAVLJANJE (ORGANIZACIJA SLUŽBE)
|j SIGNALIZIRANJE. RAZNE TELEKOMUNIKACIJSKE SLUŽBE. DALJINSKO UPRAVLJANJE (TELEKONTROLA)
|e 654
|9 1550
|
| 080 |
|
|
|a 681.3.062
|h SOFTVER
|j UMJETNI JEZICI ZA DAVANJE NAREDBI STROJEVIMA. PROGRAMSKI JEZICI. KOMPJUTERSKI JEZICI.
|e 681.3.06
|9 2805
|
| 100 |
1 |
|
|9 14812
|a Krajnović, Siniša
|
| 245 |
|
|
|a Formalni postupci provjere signalizacijskih protokola :
|b magistarski rad /
|c Siniša Krajnović ; [mentor Ignac Lovrek]
|
| 260 |
|
|
|a Zagreb :
|b S. Krajnović ; Fakultet elektrotehnike i računarstva,
|c 1997.
|
| 300 |
|
|
|a 107 str. :
|b graf.prikazi ;
|c 30 cm.
|
| 504 |
|
|
|a Bibliografija str. 98-102.
|
| 520 |
|
|
|a Ključne riječi: formalne metode, signalizacijski protokoli, specifikacija i provjera signalizacijskih protokola, telekomunikacijski programski jezici
|
| 520 |
|
|
|a Keywords: formal methods, signalling protocols, specification and verification of signalling protocols, telecommunication programming languages
|
| 700 |
|
|
|4 ths
|9 6356
|a Lovrek, Ignac
|
| 942 |
|
|
|c M
|2 udc
|
| 990 |
|
|
|a 11811
|
| 999 |
|
|
|c 10499
|d 10499
|