ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture notes in computer science, 3455)
- Författare
- Helen Treharne
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2005 | Utgivningsland okänt / Ej specificerat |