|
|
|
|
LEADER |
00972cam a2200325 i 4500 |
001 |
NSK01000381259 |
003 |
HR-ZaNSK |
005 |
20100319092116.0 |
008 |
061217s1990 xxu 001 0 eng |
020 |
|
|
|a 0138807337
|
035 |
|
|
|9 (HR-ZaNSK)381729
|
035 |
|
|
|9 (HR-ZaNSK)100326080
|
035 |
|
|
|a (HR-ZaNSK)000381259
|
040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
041 |
0 |
|
|a eng
|
044 |
|
|
|a us
|a uk
|a cn
|a at
|a ja
|
080 |
|
|
|a 004.4
|2 MRF 1998.
|
100 |
1 |
|
|a Jones, Clifford
|
245 |
1 |
0 |
|a Systematic software development using VDM /
|c Cliff B. Jones.
|
250 |
|
|
|a 2nd ed
|
260 |
|
|
|a New York [etc.] :
|b Prentice Hall,
|c 1990.
|
300 |
|
|
|a 333 str. ;
|c 24 cm.
|
490 |
0 |
|
|a Prentice Hall International series in computer science
|
500 |
|
|
|a Kazala
|
504 |
|
|
|a Bibliografija: str. 321-[322]
|
650 |
|
7 |
|a Računalno programiranje
|2 nskps
|
998 |
|
|
|c lbar050920
|c rpei100319
|
852 |
4 |
|
|j 634.876
|
876 |
|
|
|e D
|a 1761/90
|
886 |
0 |
|
|2 unimarc
|b 00776cam2 2200265 450
|