| Record ID | marc_loc_updates/v36.i11.records.utf8:7756861:1436 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i11.records.utf8:7756861:1436?format=raw |
LEADER: 01436cam a2200349 a 4500
001 2004112623
003 DLC
005 20080311082100.0
008 040825s2004 gw a b 101 0 eng d
010 $a 2004112623
016 7 $a972138862$2GyFmDB
020 $a3540229426 (pbk.)
035 $a(OCoLC)ocm56933205
040 $aOHX$cOHX$dCUS$dC$Q$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bF532 2003
082 00 $a004/.01/51$222
111 2 $aFMCO 2003$d(2003 :$cLeiden, Netherlands)
245 10 $aFormal methods for components and objects :$bsecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /$cFrank S. de Boer ... [et al.] (eds.).
246 30 $aFMCO 2003
260 $aBerlin ;$aNew York :$bSpringer,$cc2004.
300 $aviii, 371 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3188.$aTutorial
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComponent software$vCongresses.
650 0 $aObject-oriented programming (Computer science)$vCongresses.
700 1 $aBoer, Frank S. de.
830 0 $aLecture notes in computer science ;$v3188.
830 0 $aLecture notes in computer science.$pTutorial.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0823/2004112623-d.html