| Record ID | ia:isbn_9781852333591 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/isbn_9781852333591/isbn_9781852333591_marc.xml |
| Download MARC binary | https://www.archive.org/download/isbn_9781852333591/isbn_9781852333591_meta.mrc |
LEADER: 01202cam 2200349 a 4500
001 9919194860001661
005 20150423114458.0
008 020218s2002 enka 000 0 eng
015 $aGBA2-Z8162
016 7 $a963165909$2GyFmDB
020 $a1852333596
029 0 $aUKM$bbA2Z8162
035 $a(CSdNU)u105795-01national_inst
035 $a(OCoLC)48629033
035 $a(Sirsi) 01-AAO-7422
040 $aUKM$cUKM$dOHX$dKLG
049 $aCNUM
072 7 $aQA$2lcco
090 $aQA76.758$b.S659 2002
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.
650 0 $aSoftware engineering.
700 1 $aDang, Hung Van,$d1950-
938 $aOtto Harrassowitz$bHARR$nhar020015184$c74.85 DEM
948 $a08/05/2002$b09/09/2002
982 0 $aQA76.758$a.S659$a2002
983 $a31786101713300
994 $a92$bCNU
999 $aQA76.758 S659 2002$wLC$c1$i31786101713300$d6/22/2004$f6/22/2004$g1 $lCIRCSTACKS$mNULS$rY$sY$tBOOK$u9/9/2002