Formal Methods and Software Engineering electronic resource : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett
- Författare
- Wash.) 2004 : (6th International Conference on Formal Engineering Methods Seattle
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | |||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-30482-1 |