Matches in Library of Congress for { <http://lccn.loc.gov/2002036000> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2002036000 contributor B9229755.
- 2002036000 contributor B9229756.
- 2002036000 created "c2002.".
- 2002036000 date "2002".
- 2002036000 date "c2002.".
- 2002036000 dateCopyrighted "c2002.".
- 2002036000 description "Includes bibliographical references and index.".
- 2002036000 extent "xi, 626 p. :".
- 2002036000 identifier "3540000291 (pbk. : alk. paper)".
- 2002036000 identifier 2002036000-d.html.
- 2002036000 isPartOf "Lecture notes in computer science, 0302-9743 ; 2495".
- 2002036000 issued "2002".
- 2002036000 issued "c2002.".
- 2002036000 language "eng".
- 2002036000 publisher "Berlin ; New York : Springer,".
- 2002036000 subject "004/.01/51 21".
- 2002036000 subject "Formal methods (Computer science) Congresses.".
- 2002036000 subject "QA76.9.F67 I5788 2002".
- 2002036000 subject "Software engineering Congresses.".
- 2002036000 title "Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao, eds.".
- 2002036000 type "text".