| Record ID | marc_columbia/Columbia-extract-20221130-010.mrc:443113844:1553 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-010.mrc:443113844:1553?format=raw |
LEADER: 01553cam a2200325 a 4500
001 4992754
005 20221109203736.0
008 041108t20042004gw a b 101 0 eng d
020 $a3540229426
035 $a(OCoLC)506199072
035 $a(OCoLC)ocn506199072
035 $a(NNC)4992754
035 $a4992754
040 $aNNC$cNNC
050 4 $aQA76.9.F67$bF53 2003
111 2 $aFMCO (Symposium)$n(2nd :$d2003 :$cLeiden, Netherlands)$0http://id.loc.gov/authorities/names/nb2004310211
245 10 $aFormal methods for components and objects :$bfirst international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures /$cFrank S. de Boer [and others] (eds.).
246 30 $aFMCO 2003
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c[2004], ©2004.
300 $aviii, 371 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v3188
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 ;$v3188.$0http://id.loc.gov/authorities/names/n42015162
852 0 $boff,eng$hQA76.9.F67$iF53 2003g