| Record ID | marc_columbia/Columbia-extract-20221130-011.mrc:270008611:1840 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-011.mrc:270008611:1840?format=raw |
LEADER: 01840cam a2200361 a 4500
001 5448366
005 20221110035919.0
008 050930s2005 gw a b 101 0 eng d
020 $a3540291318 (pbk.)
035 $a(OCoLC)ocm61766573
035 $a(NNC)5448366
035 $a5448366
040 $aOHX$cOHX$dBAKER$dNNC
050 4 $aQA76.9.F67$bF53 2004
072 7 $aQA$2lcco
111 2 $aFMCO (Symposium)$n(3rd :$d2004 :$cLeiden, Netherlands)$0http://id.loc.gov/authorities/names/nb2005015672
245 10 $aFormal methods for components and objects :$bthird international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /$cFrank S. de Boer [and others] (eds.).
260 $aBerlin :$bSpringer,$c2005.
300 $aviii, 323 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3657
490 1 $aTutorial
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
700 1 $aBonsangue, Marcello M.$0http://id.loc.gov/authorities/names/nb2007014532
700 1 $aRoever, W. P. de$q(Willem Paul)$0http://id.loc.gov/authorities/names/no98100281
830 0 $aLecture notes in computer science.$pTutorial.$0http://id.loc.gov/authorities/names/n2004142395
830 0 $aLecture notes in computer science ;$v3657.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.F67$iF53 2004