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