LEADER 00844nam0-22003011i-450-
001 990000492780403321
005 20080728121321.0
010   $a0-13-880725-6
035   $a000049278
035   $aFED01000049278
035   $a(Aleph)000049278FED01
035   $a000049278
100   $a20020821d1986----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aSystematic software development using VDM$fCliff B. Jones
210   $aNew Jersey$cPrentice-Hall$dİ1986
215   $a300 p.$cill.$d24 cm
225 1 $aPrentice-Hall international series in computer science
610 0 $aSoftware$aSviluppo
676   $a005.1
700  1$aJones,$bCliff B.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000492780403321
952   $a10 P.T. 408$b615 DIS$fDINEL
959   $aDINEL
997   $aUNINA