| Record ID | harvard_bibliographic_metadata/ab.bib.09.20150123.full.mrc:270606553:1097 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.09.20150123.full.mrc:270606553:1097?format=raw |
LEADER: 01097nam a22002898a 4500
001 009266220-X
005 20040112152432.0
008 030930s2003 gw b 101 0 eng
010 $a 2003066671
020 $a3540203036 (alk. paper)
035 0 $aocm53183415
040 $aDLC$cDLC
042 $apcc
050 00 $aQA76.9.F67$bF53 2002
082 00 $a005.3$222
111 2 $aFMCO 2002$d(2002 :$cLeiden, Netherlands)
245 10 $aFormal methods for components and objects :$bfirst international symposium, FMCO 2002, leiden, The Netherlands, November 5-8, 2002 : revised lectures /$cFrank S. de Boer ... [et al.] (eds.)
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c2003.
300 $aviii, 507 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v2852
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.
988 $a20040112
906 $0DLC