/LC.GIF&client=easterncarolinaedu)
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe , Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (Eds.).
| Author/creator | International Symposium of Formal Methods Europe |
| Other author | Naftalin, Maurice, 1951- |
| Other author | Denvir, Tim, 1939- |
| Other author | Bertran, Miquel. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1994. |
| Description | xi, 723 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 873 Lecture notes in computer science 873. ^A466336 |
| Bibliography note | Includes bibliographical references. |
| LCCN | 94025111 |
| ISBN | 3540585559 (Berlin) |
| ISBN | 0387585559 (acid-free paper : U.S.) : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.D47 I593 1994 | ✔ Available | Place Hold |