| Record ID | marc_loc_2016/BooksAll.2016.part30.utf8:129786927:1040 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part30.utf8:129786927:1040?format=raw |
LEADER: 01040cam a22002895a 4500
001 2002524716
003 DLC
005 20080308091052.0
008 020218s2002 enka 000 0 eng d
010 $a 2002524716
015 $aGBA2-Z8162
016 7 $a963165909$2GyFmDB
020 $a1852333596
035 $a(OCoLC)ocm48629033
040 $aUKM$cUKM$dOHX$dKLG$dDLC
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-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0816/2002524716-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0816/2002524716-t.html