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 ... [et al.].
- 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 | JSE 99-2032 | Offsite |
Details
- Additional Authors
- Hutter, Dieter.
- Description
- xi, 376 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1641
- Subject
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 99-2032
- ISBN
- 3540664629 (softcover : alk. paper)
- LCCN
- 99044590
- OCLC
- 42296292
- 42651551
- Conference
- International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard, Germany)
- 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 ... [et al.].
- Imprint
- Berlin ; New York : Springer, 1999.
- Series
- Lecture notes in computer science ; 1641
- Bibliography
- Includes bibliographical references.
- Added Author
- Hutter, Dieter.
- Research Call Number
- JSE 99-2032