Research Catalog

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Title
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).
Author
International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany)
Publication
Berlin ; New York : Springer, 2000.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.F67 I58 2000Off-site

Details

Additional Authors
  • Grieskamp, Wolfgang, 1960-
  • Santen, Thomas, 1965-
  • Stoddart, Bill, 1946-
Description
x, 439 pages; 24 cm.
Series Statement
Lecture notes in computer science ; 1945
Uniform Title
Lecture notes in computer science ; 1945.
Subject
Bibliography (note)
  • Includes bibliographical references.
ISBN
3540411968 (softcover : alk. paper)
LCCN
00048275
OCLC
  • ocm45080108
  • SCSB-3986972
Owning Institutions
Columbia University Libraries