Software Engineering, vol 2: Specification of Systems and Languages |
| | Type | Book [Author] | | Year | 2006 | | Publisher | Springer | | Series | Texts in Theoretical Computer Science | | ISBN / ISSN | 3-540-21150-0 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|