Matches in Library of Congress for { <http://lccn.loc.gov/2010935597> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2010935597 contributor B12094647.
- 2010935597 contributor B12094648.
- 2010935597 created "2010.".
- 2010935597 date "2010".
- 2010935597 date "2010.".
- 2010935597 dateCopyrighted "2010.".
- 2010935597 description "Includes bibliographical references and index.".
- 2010935597 extent "x, 335 p. :".
- 2010935597 hasFormat "Also issued online.".
- 2010935597 identifier "3642162649 (pbk. : alk. paper)".
- 2010935597 identifier "9783642162640 (pbk. : alk. paper)".
- 2010935597 isFormatOf "Also issued online.".
- 2010935597 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2010935597 isPartOf "Lecture notes in computer science, 0302-9743 ; 6396".
- 2010935597 issued "2010".
- 2010935597 issued "2010.".
- 2010935597 language "eng".
- 2010935597 publisher "Berlin ; New York : Springer,".
- 2010935597 relation "Also issued online.".
- 2010935597 subject "Formal methods (Computer science) Congresses.".
- 2010935597 subject "QA76.9.F67 I58 2010".
- 2010935597 title "Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / Dominique Méry, Staphan Merz (eds.).".
- 2010935597 type "text".