Matches in Library of Congress for { <http://lccn.loc.gov/2009935171> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2009935171 contributor B11730361.
- 2009935171 contributor B11730362.
- 2009935171 created "2009.".
- 2009935171 date "2009".
- 2009935171 date "2009.".
- 2009935171 dateCopyrighted "2009.".
- 2009935171 description "Includes bibliographical references and index.".
- 2009935171 extent "x, 212 p. :".
- 2009935171 identifier "3642045693 (pbk. : acid-free paper)".
- 2009935171 identifier "9783642045691 (pbk. : acid-free paper)".
- 2009935171 identifier 2009935171.html.
- 2009935171 isPartOf "Lecture notes in computer science ; 5825".
- 2009935171 isPartOf "Lecture notes in computer science ; 5825.".
- 2009935171 issued "2009".
- 2009935171 issued "2009.".
- 2009935171 language "eng".
- 2009935171 publisher "Berlin ; New York : Springer,".
- 2009935171 subject "005.131 22".
- 2009935171 subject "Computer programs Verification Congresses.".
- 2009935171 subject "Formal methods (Computer science) Congresses.".
- 2009935171 subject "QA76.9.F67 I594 2009".
- 2009935171 subject "Software engineering Congresses.".
- 2009935171 title "Formal methods for industrial critical systems / María Alpuente, Byron Cooker, Christophe Joubert, (eds.).".
- 2009935171 type "text".