Formal Methods and Software Engineering (vol. # 4260) electronic resource - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
- Författare
- Zhiming. Liu
- (Edited by Zhiming Liu, Jifeng He.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag GmbH. | 2006 | Utgivningsland okänt / Ej specificerat, Berlin Heidelberg | v.: digital | 978-3-540-47462-3 |