| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:153723845:1210 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:153723845:1210?format=raw |
LEADER: 01210cam a22003017a 4500
001 2010935597
003 DLC
005 20140227150857.0
008 100824s2010 gw a b 101 0 eng d
010 $a 2010935597
016 7 $a015673260$2Uk
020 $a3642162649 (pbk. : alk. paper)
020 $a9783642162640 (pbk. : alk. paper)
035 $a(OCoLC)ocn668190625
040 $aBTCTA$cBTCTA$dOHX$dYDXCP$dAZS$dUKMGB$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bI58 2010
111 2 $aInternational Conference on Integrated Formal Methods$n(8th :$d2010 :$cNancy, France)
245 10 $aIntegrated formal methods :$b8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /$cDominique Méry, Stephan Merz (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c2010.
300 $ax, 335 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in computer science,$x0302-9743 ;$v6396
490 0 $aLNCS sublibrary: SL 2-programming and software engineering
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aMery, Dominique.
700 1 $aMerz, Stephan.