|
|
|
|
LEADER |
01018cam a2200277 i 4500 |
001 |
NSK01000345459 |
003 |
HR-ZaNSK |
005 |
20070919203816.0 |
008 |
911018s1989 ne d 100 0 eng |
020 |
|
|
|a 0444871268
|
035 |
|
|
|9 (HR-ZaNSK)345865
|
035 |
|
|
|9 (HR-ZaNSK)911018042
|
035 |
|
|
|a (HR-ZaNSK)000345459
|
040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
041 |
0 |
|
|a eng
|
044 |
|
|
|a ne
|a us
|a uk
|
080 |
|
|
|a 519.681(063)(082)
|
111 |
2 |
|
|a International Conference on Formal Description Techniques
|n (1 ;
|d 1988 ;
|c Stirling)
|
245 |
1 |
0 |
|a Formal description techniques :
|b proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988 /
|c edited by Kenneth J. Turner.
|
260 |
|
|
|a Amsterdam [etc.] :
|b North-Holland,
|c 1989.
|
300 |
|
|
|a XVII, 351 str. :
|b graf. prikazi ;
|c 25 cm.
|
504 |
|
|
|a Bibliografija uz sve radove
|
700 |
1 |
|
|a Turner, Kenneth J.
|4 edt
|
852 |
4 |
|
|j 642.435
|
876 |
|
|
|e K
|a 1486/91
|
886 |
0 |
|
|2 unimarc
|b 00833nam0 2200217 450
|