Matches in Library of Congress for { <http://lccn.loc.gov/2002066996> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2002066996 contributor B9236929.
- 2002066996 contributor B9236930.
- 2002066996 created "c2002.".
- 2002066996 date "2002".
- 2002066996 date "c2002.".
- 2002066996 dateCopyrighted "c2002.".
- 2002066996 description "Includes bibliographical references and index.".
- 2002066996 extent "x, 399 p. :".
- 2002066996 identifier "3540437037 (softcover : alk. paper)".
- 2002066996 identifier 2002066996-d.html.
- 2002066996 isPartOf "Lecture notes in computer science, 0302-9743 ; 2335".
- 2002066996 issued "2002".
- 2002066996 issued "c2002.".
- 2002066996 language "eng".
- 2002066996 publisher "Berlin ; New York : Springer,".
- 2002066996 subject "004/.01/51 21".
- 2002066996 subject "Formal methods (Computer science) Congresses.".
- 2002066996 subject "QA76.9.F67 I58 2002".
- 2002066996 title "Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds.".
- 2002066996 type "text".