|
|
|
|
| LEADER |
00738nam a2200205uu 4500 |
| 008 |
s1986 xxu |||||||||| ||eng|d |
| 020 |
|
|
|a 0138807175
|
| 035 |
|
|
|a HR-ZaFER 31587
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|
| 041 |
|
|
|a eng
|
| 100 |
1 |
|
|9 20243
|a Jones, Cliff B.
|
| 245 |
|
|
|a Systematic software development using VDM.
|
| 250 |
|
|
|a 1. izd.
|
| 260 |
|
|
|b Prentice-Hall, Inc.,
|c 1986.
|
| 300 |
|
|
|a xvi, 300 str. ;
|c 24 cm.
|
| 490 |
|
|
|a Prentice-Hall International Series in Computer Science / Prentice-Hall, Inc..
|
| 650 |
|
7 |
|a 68
|j Computer science {for papers involving machine computations and programs in a specific mathematical area, see section -04 in that area}
|9 5578
|2 msc
|
| 942 |
|
|
|b BKS
|c K
|
| 990 |
|
|
|a 20421
|
| 999 |
|
|
|c 27221
|d 27221
|
