Matches in Library of Congress for { <http://lccn.loc.gov/2007938401> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- 2007938401 alternative "9th International Conference on Formal Engineering Methods".
- 2007938401 alternative "ICFEM 2007".
- 2007938401 alternative "International Conference on Formal Engineering Methods".
- 2007938401 alternative "Ninth International Conference on Formal Engineering Methods".
- 2007938401 contributor B11066985.
- 2007938401 contributor B11066986.
- 2007938401 created "c2007.".
- 2007938401 date "2007".
- 2007938401 date "c2007.".
- 2007938401 dateCopyrighted "c2007.".
- 2007938401 description "Includes bibliographical references and index.".
- 2007938401 extent "x, 386 p. :".
- 2007938401 identifier "3540766480 (pbk.)".
- 2007938401 identifier "9783540766483 (pbk.)".
- 2007938401 identifier 2007938401-d.html.
- 2007938401 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2007938401 isPartOf "Lecture notes in computer science, 0302-9743 ; 4789".
- 2007938401 issued "2007".
- 2007938401 issued "c2007.".
- 2007938401 language "eng".
- 2007938401 publisher "Berlin ; New York : Springer,".
- 2007938401 subject "005.1 22".
- 2007938401 subject "Formal methods (Computer science) Congresses.".
- 2007938401 subject "QA76.9.F67 I5788 2007".
- 2007938401 subject "Software engineering Congresses.".
- 2007938401 title "9th International Conference on Formal Engineering Methods".
- 2007938401 title "Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (eds.).".
- 2007938401 title "ICFEM 2007".
- 2007938401 title "International Conference on Formal Engineering Methods".
- 2007938401 title "Ninth International Conference on Formal Engineering Methods".
- 2007938401 type "text".