Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (editors)
- Författare
- England) 2007 : (6th International Conference on Integrated Formal Methods Oxford
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |