Matches in Library of Congress for { <http://lccn.loc.gov/00048275> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 00048275 contributor B41421.
- 00048275 contributor B41422.
- 00048275 created "2000.".
- 00048275 date "2000".
- 00048275 date "2000.".
- 00048275 dateCopyrighted "2000.".
- 00048275 description "Includes bibliographical references and index.".
- 00048275 extent "x, 439 p. :".
- 00048275 identifier "3540411968 (softcover : alk. paper)".
- 00048275 identifier 00048275-d.html.
- 00048275 isPartOf "Lecture notes in computer science ; 1945".
- 00048275 issued "2000".
- 00048275 issued "2000.".
- 00048275 language "eng".
- 00048275 publisher "Berlin ; New York : Springer,".
- 00048275 subject "004/.01/51 21".
- 00048275 subject "Formal methods (Computer science) Congresses.".
- 00048275 subject "QA76.9.F67 I58 2000".
- 00048275 title "Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).".
- 00048275 type "text".