Matches in Library of Congress for { <http://lccn.loc.gov/2004114617> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2004114617 contributor B9884707.
- 2004114617 contributor B9884708.
- 2004114617 created "c2004.".
- 2004114617 date "2004".
- 2004114617 date "c2004.".
- 2004114617 dateCopyrighted "c2004.".
- 2004114617 description "Includes bibliographical references and index.".
- 2004114617 extent "xiii, 500 p. :".
- 2004114617 identifier "3540238417 (softcover : alk. paper)".
- 2004114617 identifier 2004114617-d.html.
- 2004114617 isPartOf "Lecture notes in computer science, 0302-9743 ; 3308".
- 2004114617 issued "2004".
- 2004114617 issued "c2004.".
- 2004114617 language "eng".
- 2004114617 publisher "Berlin ; New York : Springer,".
- 2004114617 subject "005.13/1 22".
- 2004114617 subject "Formal methods (Computer science) Congresses.".
- 2004114617 subject "QA76.9.F67 I5788 2004".
- 2004114617 subject "Software engineering Congresses.".
- 2004114617 title "Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).".
- 2004114617 type "text".