| Record ID | marc_columbia/Columbia-extract-20221130-015.mrc:140386635:1731 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-015.mrc:140386635:1731?format=raw |
LEADER: 01731cam a2200349 a 4500
001 7411562
005 20221130234614.0
008 090905t20092009gw a b 101 0 eng d
020 $z9783642041662
020 $z3642041663
035 $a(OCoLC)436030805
035 $a(OCoLC)ocn436030805
035 $a(NNC)7411562
035 $a7411562
040 $aNNC$cNNC
050 4 $aQA76.9.F67$bF536 2009
111 2 $aFMCO (Symposium)$n(7th :$d2008 :$cSophia Antipolis, France)$0http://id.loc.gov/authorities/names/nb2009026357
245 10 $aFormal methods for components and objects :$b7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /$cFrank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.).
246 30 $aFMCO 2008
260 $aBerlin ;$aNew York :$bSpringer,$c[2009], ©2009.
300 $ax, 297 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture Notes in Computer Science ;$v5751
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104061
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 $aMadelaine, Eric.$0http://id.loc.gov/authorities/names/no2005038422
830 0 $aLecture notes in computer science ;$v5751.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.F67$iF536 2009g