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)
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA76.76.D47I593 1993 | Off-site |
Details
- Additional Authors
- Description
- xi, 689 p. : ill.; 24 cm.
- Subject
- Computer software > Development > Congresses
- ISBN
- 0387566627 (New York)(alk. paper)
- 3540566627 (Berlin)
- LCCN
- 93003605
- Owning Institutions
- Princeton University Library