| Record ID | marc_loc_updates/v40.i21.records.utf8:5408642:1493 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v40.i21.records.utf8:5408642:1493?format=raw |
LEADER: 01493nam a22003977a 4500
001 2010927075
003 DLC
005 20120518082429.0
008 100420s2010 gw a b 101 0 eng d
010 $a 2010927075
015 $a10,N18$2dnb
016 7 $a1001976916$2DE-101
020 $a3642133207 (pbk. : alk. paper)
020 $a9783642133206 (pbk. : alk. paper)
035 $a(OCoLC)ocn641458861
040 $aOHX$cOHX$dGWDNB$dYDXCP$dBWX$dAZS$dOCLCQ$dDLC
042 $alccopycat
050 00 $aQA76.6$b.M6926 2010
072 7 $aQA$2lcco
082 04 $a005.10151
111 2 $aMPC 2010$d(2010 :$cQuébec, Québec)
245 10 $aMathematics of program construction :$b10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : proceedings /$cClaude Bolduc, Jules Desharnais, Bechir Ktari (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2010.
300 $ax, 425 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in computer science,$x0302-9743 ;$v6120
490 0 $aLNCS sublibrary: SL 1-theoretical computer science and general issues
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aComputer programming$vCongresses.
650 0 $aComputer science$xMathematics$vCongresses.
650 07 $aSoftwareentwicklung$2swd
650 07 $aMathematische Methode$2swd
651 7 $aQuébec <2010>$2swd
700 1 $aBolduc, Claude.
700 1 $aDesharnais, Jules.
700 1 $aKtari, Béchir.