|
Tag
|
Ind1
|
Ind2
|
Isi
|
|
LEADER
|
|
|
01029cam a2200313 a 4500
|
|
001
|
|
|
INLISM00000000031946
|
|
005
|
|
|
20041012124300.0
|
|
006
|
|
|
aa###g#b####00110#
|
|
008
|
|
|
940513s1988****enka***g#b***#00110#eng##
|
|
020
|
#
|
#
|
$a 020117572X
|
|
035
|
#
|
#
|
$a 1896060
|
|
040
|
#
|
#
|
$a JKPNPNA
|
|
082
|
0
|
4
|
$a 005.1 $2 [20]
|
|
084
|
#
|
#
|
$a 005.1 HEK s
|
|
090
|
#
|
#
|
$a 005.1 HEK s
|
|
100
|
1
|
#
|
$a Hekmatpour, Sharam
|
|
245
|
1
|
0
|
$a Software prototyping, formal methods and VDM / $c Sharam Hekmatpour, Darrel Ince
|
|
260
|
#
|
#
|
$a Wakingham, England : $b Addison Wesley, $c 1988
|
|
300
|
#
|
#
|
$a x, 222 hlm. : $b ilus. ; $c 23 cm.
|
|
440
|
#
|
0
|
$a International computer science series
|
|
500
|
#
|
#
|
$a Indeks
|
|
504
|
#
|
#
|
$a Bibliografi : hlm. 138-153
|
|
650
|
#
|
4
|
$a Komputer $x Perangkat lunak
|
|
700
|
1
|
#
|
$a Ince, Darrel
|
|
850
|
#
|
#
|
$a JKPNPNA
|
|
900
|
#
|
#
|
$a 00703nbm**2200012*a*4500
|
|
902
|
#
|
#
|
$a 760000223:16-JUL-10*131116103:04-FEB-11*131116103:04-FEB-11*131116103:04-FEB-11*131116103:04-FEB-11*
|
|
990
|
#
|
#
|
$a 5823/PN/92 [1]
|
|
999
|
#
|
#
|
$a VIRTUA00
|