| Record ID | marc_loc_updates/v36.i11.records.utf8:12709203:1495 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i11.records.utf8:12709203:1495?format=raw |
LEADER: 01495cam a22003617a 4500
001 2006930291
003 DLC
005 20080311114526.0
008 060630s2006 gw a b 101 0 eng d
010 $a 2006930291
016 7 $a98056168X$2GyFmDB
020 $a3540367497 (pbk.)
020 $a9783540367499
035 $a(CStRLIN)MNUGA004883217-B
035 $a(MnU)004883217
040 $aOHX$cOHX$dCUS$dMnU$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bF53 2005
082 00 $a005.13/1$222
111 2 $aFMCO 2005$d(2005 :$cAmsterdam, Netherlands)
245 10 $aFormal methods for components and objects :$b4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures /$cFrank S. de Boer ... [et al.] (eds.).
246 10 $aFMCO 2005
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $aviii, 427 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4111.$aState-of-the-art survey
504 $aIncludes bibliographical references and index.
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$v4111.
830 0 $aLecture notes in computer science.$pState-of-the-art survey
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006930291-d.html