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