Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).
| Author/creator | International Conference on Formal Engineering Methods |
| Other author | Davies, Jim, 1964- |
| Other author | Schulte, Wolfram. |
| Other author | Barnett, Mike. |
| Format | Electronic |
| Publication Info | Berlin : Springer, ©2004. |
| Description | xiii, 500 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to Springer LINK subscribers |
| Subjects |
| Portion of title | ICFEM 2004 |
| Series | Lecture notes in computer science ; 3308 Lecture notes in computer science 3308. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 2004114617 |
| ISBN | 3540238417 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.F67 I5788 2004 | ✔ Available | Place Hold |