Matches in Library of Congress for { <http://lccn.loc.gov/2009934050> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2009934050 alternative "RP 2009".
- 2009934050 contributor B11729663.
- 2009934050 contributor B11729664.
- 2009934050 created "c2009.".
- 2009934050 date "2009".
- 2009934050 date "c2009.".
- 2009934050 dateCopyrighted "c2009.".
- 2009934050 description "Includes bibliographical references and index.".
- 2009934050 extent "x, 232 p. :".
- 2009934050 identifier "3642044190 (pbk.)".
- 2009934050 identifier "9783642044199 (pbk.)".
- 2009934050 isPartOf "Lecture notes in computer science ; 5797".
- 2009934050 isPartOf "Lecture notes in computer science ; 5797.".
- 2009934050 issued "2009".
- 2009934050 issued "c2009.".
- 2009934050 language "eng".
- 2009934050 publisher "Berlin ; New York : Springer,".
- 2009934050 subject "004".
- 2009934050 subject "Computer systems Verification Congresses.".
- 2009934050 subject "Configurations Congresses.".
- 2009934050 subject "Decidability (Mathematical logic) Congresses.".
- 2009934050 subject "QA76.76.V47 R58 2009".
- 2009934050 title "RP 2009".
- 2009934050 title "Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov (eds.).".
- 2009934050 type "text".