| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:200953892:1584 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:200953892:1584?format=raw |
LEADER: 01584cam a22003498a 4500
001 4192594
005 20221027052829.0
008 030930s2003 gw a b 101 0 eng
010 $a 2003066671
020 $a3540203036 (alk. paper)
035 $a(OCoLC)ocm53183415
035 $a(NNC)4192594
035 $a4192594
040 $aDLC$cDLC
042 $apcc
050 00 $aQA76.9.F67$bF53 2002
082 00 $a005.3$222
111 2 $aFMCO (Symposium)$n(1st :$d2002 :$cLeiden, Netherlands)$0http://id.loc.gov/authorities/names/n2003015219
245 10 $aFormal methods for components and objects :$bfirst international symposium, FMCO 2002, leiden, The Netherlands, November 2002 : revised lectures /$cFrank S. de Boer [and others] (eds.)
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c2003.
263 $a0311
300 $axiii, 507 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v2852
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104061
650 0 $aComponent software$vCongresses.
650 0 $aObject-oriented programming (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008108548
700 1 $aBoer, Frank S. de.$0http://id.loc.gov/authorities/names/n2003015224
830 0 $aLecture notes in computer science ;$v2852.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.F67$iF53 2002