| Record ID | marc_loc_2016/BooksAll.2016.part34.utf8:92032612:1313 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part34.utf8:92032612:1313?format=raw |
LEADER: 01313cam a22003017a 4500
001 2006926884
003 DLC
005 20061229090300.0
008 060502s2006 gw a b 101 0 eng d
010 $a 2006926884
020 $a354034893X
035 $a(CStRLIN)NYCGQ5656616-B
035 $a(NNC)NYCG5656616
040 $aERL$cERL$dNNC$dDLC
042 $alccopycat
050 00 $aQA76.9.D5$bI573 2006
082 00 $a005.1/17$222
111 2 $aInternational Conference on Formal Methods for Open Object-Based Distributed Systems$n(8th :$d2006 :$cBologna, Italy)
245 10 $aFormal methods for open object-based distributed systems :$b8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /$cRoberto Gorrieri, Heike Wehrheim (eds.).
260 $aBerlin ;$aNew York, NY :$bSpringer,$cc2006.
300 $ax, 266 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v4037
504 $aIncludes bibliographical references and index.
650 0 $aElectronic data processing$xDistributed processing$vCongresses.
650 0 $aObject-oriented programming (Computer science)$vCongresses.
700 1 $aGorrieri, Roberto.
700 1 $aWehrheim, Heike.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0661/2006926884-d.html