Matches in Library of Congress for { <http://lccn.loc.gov/2001020501> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2001020501 contributor B8921230.
- 2001020501 contributor B8921231.
- 2001020501 created "2001.".
- 2001020501 date "2001".
- 2001020501 date "2001.".
- 2001020501 dateCopyrighted "2001.".
- 2001020501 description "Includes bibliographical references and index.".
- 2001020501 extent "xiii, 628 p.".
- 2001020501 identifier "3540417915 (softcover : alk. paper)".
- 2001020501 identifier 2001020501-d.html.
- 2001020501 isPartOf "Lecture notes in computer science ; 2021".
- 2001020501 issued "2001".
- 2001020501 issued "2001.".
- 2001020501 language "eng".
- 2001020501 publisher "Berlin ; New York : Springer,".
- 2001020501 subject "005.1 21".
- 2001020501 subject "Computer software Development Congresses.".
- 2001020501 subject "QA76.76.D47 I593 2001".
- 2001020501 title "FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.).".
- 2001020501 type "text".