Matches in Library of Congress for { <http://lccn.loc.gov/2005934587> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2005934587 alternative "7th International Conference on Formal Engineering Methods".
- 2005934587 alternative "ICFEM 2005".
- 2005934587 alternative "International Conference on Formal Engineering Methods".
- 2005934587 contributor B10401605.
- 2005934587 contributor B10401606.
- 2005934587 created "2005.".
- 2005934587 date "2005".
- 2005934587 date "2005.".
- 2005934587 dateCopyrighted "2005.".
- 2005934587 description "Includes bibliographical references and index.".
- 2005934587 extent "xiv, 496 p. :".
- 2005934587 identifier "3540297979 (pbk.)".
- 2005934587 identifier "9783540297970".
- 2005934587 identifier 2005934587-d.html.
- 2005934587 identifier 2005934587.html.
- 2005934587 isPartOf "Lecture notes in computer science ; 3785.".
- 2005934587 isPartOf "Lecture notes in computer science, 0302-9743 ; 3785".
- 2005934587 issued "2005".
- 2005934587 issued "2005.".
- 2005934587 language "eng".
- 2005934587 publisher "Berlin ; New York : Springer,".
- 2005934587 subject "005.13/1 22".
- 2005934587 subject "Formal methods (Computer science) Congresses.".
- 2005934587 subject "QA76.9.F67 I5788 2005".
- 2005934587 subject "Software engineering Congresses.".
- 2005934587 title "7th International Conference on Formal Engineering Methods".
- 2005934587 title "Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.).".
- 2005934587 title "ICFEM 2005".
- 2005934587 title "International Conference on Formal Engineering Methods".
- 2005934587 type "text".