Matches in Library of Congress for { <http://lccn.loc.gov/2007928796> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2007928796 alternative "IFM 2007".
- 2007928796 contributor B11060226.
- 2007928796 contributor B11060227.
- 2007928796 created "c2007.".
- 2007928796 date "2007".
- 2007928796 date "c2007.".
- 2007928796 dateCopyrighted "c2007.".
- 2007928796 description "Includes bibliographical references and index.".
- 2007928796 extent "ix, 660 p. :".
- 2007928796 identifier "3540732098 (pbk.)".
- 2007928796 identifier "9783540732099 (pbk.)".
- 2007928796 identifier 2007928796.html.
- 2007928796 identifier 2007928796.html.
- 2007928796 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2007928796 isPartOf "Lecture notes in computer science, 0302-9743 ; 4591".
- 2007928796 issued "2007".
- 2007928796 issued "c2007.".
- 2007928796 language "eng".
- 2007928796 publisher "Berlin ; New York : Springer,".
- 2007928796 subject "004.01/51 22".
- 2007928796 subject "Formal methods (Computer science) Congresses.".
- 2007928796 subject "QA76.9.F67 I58 2007".
- 2007928796 title "IFM 2007".
- 2007928796 title "Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.).".
- 2007928796 type "text".