Research Catalog
Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
- Title
- Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings / Dieter Hutter [and others].
- Author
- International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard, Germany)
- Publication
- Berlin ; New York : Springer, 1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.F67 I59 1998 | Off-site |
Details
- Additional Authors
- Hutter, Dieter.
- Description
- xi, 376 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1641
- Uniform Title
- Lecture notes in computer science ; 1641.
- Subject
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 3540664629 (softcover : alk. paper)
- LCCN
- 99044590
- OCLC
- 42296292
- ocm42296292
- Owning Institutions
- Columbia University Libraries