| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:155807366:1555 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:155807366:1555?format=raw |
LEADER: 01555cam a22003617a 4500
001 2010938608
003 DLC
005 20130406083054.0
008 101005s2010 nyua b 101 0 eng d
010 $a 2010938608
016 7 $a015731218$2Uk
020 $a9783642170706 (pbk. : acid-free paper)
020 $a3642170706 (pbk. : acid-free paper)
035 $a(OCoLC)ocn690089072
040 $aBTCTA$beng$cBTCTA$dOHX$dAZS$dYDXCP$dUKMGB$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bF53 2009
082 00 $a004.01/51$223
111 2 $aFMCO 2009$d(2009 :$cEindhoven, Netherlands)
245 10 $aFormal methods for components and objects :$b8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers /$cFrank S. de Boer ... [et al.] (eds.).
260 $aNew York :$bSpringer,$c2010.
300 $ax, 337 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v6286
490 1 $aLNCS sublibrary: SL 2-programming and software engineering
490 1 $aState-of-the-art survey
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComponent software$vCongresses.
650 0 $aObject-oriented programming (Computer science)$vCongresses.
700 1 $aBoer, Frank S. de.
830 0 $aLecture notes in computer science ;$v6286.
830 0 $aLNCS sublibrary.$nSL 2$pProgramming and software engineering.
830 0 $aLecture notes in computer science.$pState-of-the-art survey.