| Record ID | marc_records_scriblio_net/part14.dat:123056629:833 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part14.dat:123056629:833?format=raw |
LEADER: 00833cam 22002655a 4500
001 2002524716
003 DLC
005 20030422093731.0
008 020218s2002 enka 000 0 eng d
010 $a 2002524716
035 $a(OCoLC)ocm48629033
040 $aUKM$cUKM$dOHX$dKLG$dDLC
015 $aGBA2-Z8162
016 7 $a963165909$2GyFmDB
020 $a1852333596
042 $alccopycat
050 00 $aQA76.758$b.S68 2002
082 00 $a005.1$221
245 00 $aSpecification case studies in RAISE /$cHung Dang Van ... [et al.] (eds.)
260 $aLondon :$bSpringer,$cc2002.
300 $axv, 405 p. :$bill. ;$c24 cm.
440 0 $aFormal approaches to computing and information technology,$x1431-9683
504 $aIncludes bibliographical references (397-405).
650 0 $aSoftware engineering.
700 1 $aDang, Hung Van,$d1950-