Refinement in Z and Object-Z electronic resource : Foundations and Advanced Applications / by John Derrick, Eerke A. Boiten
- Författare
- John. author. Derrick
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |