Matches in Library of Congress for { <http://lccn.loc.gov/2009920467> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2009920467 contributor B11720703.
- 2009920467 contributor B11720704.
- 2009920467 created "c2009.".
- 2009920467 date "2009".
- 2009920467 date "c2009.".
- 2009920467 dateCopyrighted "c2009.".
- 2009920467 description "Includes bibliographical references and index.".
- 2009920467 extent "x, 366 p. :".
- 2009920467 identifier "3642002544 (pbk. : acid-free paper)".
- 2009920467 identifier "9783642002540 (pbk. : acid-free paper)".
- 2009920467 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2009920467 isPartOf "Lecture notes in computer science ; 5423".
- 2009920467 issued "2009".
- 2009920467 issued "c2009.".
- 2009920467 language "eng".
- 2009920467 publisher "Berlin : New York : Springer,".
- 2009920467 subject "Formal methods (Computer science) Congresses.".
- 2009920467 subject "QA76.9.F67 I58 2009".
- 2009920467 title "Integrated formal methods : 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedings / Michael Leuschel, Heike Wehrheim (eds.).".
- 2009920467 type "text".