/LC.GIF&client=easterncarolinaedu)
FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, eds.
| Author/creator | International Symposium of Formal Methods Europe |
| Other author | Gaudel, M.-C. (Marie-Claude) |
| Other author | Woodcock, Jim. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, 1996. |
| Description | xii, 704 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | Industrial benefit of formal methods |
| Series | Lecture notes in computer science ; 1051 Lecture notes in computer science 1051. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 96007194 |
| ISBN | 3540609733 (acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.D47 I593 1996 | ✔ Available | Place Hold |