Research Catalog

FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings

Title
FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen (eds.).
Author
International Symposium of Formal Methods Europe (1st : 1993 : Odense, Denmark)
Publication
Berlin ; New York : Springer-Verlag, [1993], ©1993.

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.76.D47 I593 1993Off-site

Holdings

Details

Additional Authors
  • Woodcock, Jim.
  • Larsen, P. G. (Peter Gorm), 1964-
Description
xi, 689 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 670
Uniform Title
Lecture notes in computer science ; 670.
Subject
Computer software > Development > Congresses
Bibliography (note)
  • Includes bibliographical references.
ISBN
0387566627 (alk. paper)
LCCN
93003605
OCLC
  • 27815065
  • ocm27815065
Owning Institutions
Columbia University Libraries