| Record ID | marc_loc_updates/v40.i32.records.utf8:3715275:1578 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v40.i32.records.utf8:3715275:1578?format=raw |
LEADER: 01578nam a22004337a 4500
001 2010932672
003 DLC
005 20120731115454.0
008 100716s2010 gw a b 101 0 eng d
010 $a 2010932672
015 $a10,N31$2dnb
016 7 $a1005009953$2DE-101
016 7 $a015636345$2Uk
020 $a3642153488 (pbk. : alk. paper)
020 $a9783642153488 (pbk. : alk. paper)
035 $a(OCoLC)ocn659708178
040 $aOHX$cOHX$dGWDNB$dAZS$dOCLCQ$dUKMGB$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bR58 2010
072 7 $aQA$2lcco
082 04 $a511.35
111 2 $aRP 2010$d(2010 :$cBrno, Czech Republic)
245 10 $aReachability problems :$b4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /$cAntonín Kučera, Igor Potapov (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c2010.
300 $ax, 197 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in computer science,$x0302-9743 ;$v6227
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 systems$xVerification$vCongresses.
650 0 $aDecidability (Mathematical logic)$vCongresses.
650 0 $aConfigurations$vCongresses.
650 07 $aErreichbarkeit$2swd
650 07 $aErreichbarkeitsmenge$2swd
650 07 $aZustandsgraph$2swd
651 7 $aBrünn <2010>$2swd
655 7 $aKongress$2swd
700 1 $aKučera, A.$q(Antonín)
700 1 $aPotapov, Igor.