Proceedings of the Workshop on Formal Verification of Telecommunication Systems
| Permalink: | http://skupnikatalog.nsk.hr/Record/nsk.NSK01000566757 |
|---|---|
| Ostali autori: | Workshop on Formal Verification of Telecommunication Systems (-) |
| Ostali autori: | Brezočnik, Zmago (-), Vlaovič, Boštjan, Meolic, Robert, Lovrek, Ignac, Ježić, Gordan, Kušek, Mario, Matijašević, Maja, inženjerka elektrotehnike, Pandžić, Igor S. |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Zagreb :
Faculty of Electrical Engineering and Computing,
2005.
|
| Predmet: |
NSK Zatvoreno spremište
| Signatura: |
II-85.815 |
|---|---|
| Primjerak #1 |
Korištenje u čitaonici |
NSK Spremište arhivskih primjeraka
| Signatura: |
A II-85.815 |
|---|---|
| Primjerak #1 |
Nije za posudbu |