Matches in Library of Congress for { <http://lccn.loc.gov/2002026690> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2002026690 contributor B9219928.
- 2002026690 contributor B9219929.
- 2002026690 created "c2002.".
- 2002026690 date "2002".
- 2002026690 date "c2002.".
- 2002026690 dateCopyrighted "c2002.".
- 2002026690 description "Includes bibliographical references and index.".
- 2002026690 extent "xi, 624 p. :".
- 2002026690 identifier "3540439285 (softcover : alk. paper)".
- 2002026690 identifier 2002026690-d.html.
- 2002026690 isPartOf "Lecture notes in computer science ; 2391".
- 2002026690 issued "2002".
- 2002026690 issued "c2002.".
- 2002026690 language "eng".
- 2002026690 publisher "Berlin ; New York : Springer,".
- 2002026690 subject "005.1 21".
- 2002026690 subject "Computer software Development Congresses.".
- 2002026690 subject "Formal methods (Computer science) Congresses.".
- 2002026690 subject "QA76.76.D47 I593 2002".
- 2002026690 subject "System design Mathematics Congresses.".
- 2002026690 title "FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).".
- 2002026690 type "text".