*Result*: Modular Algebraic Specifications and Transformational Program Development

Title:
Modular Algebraic Specifications and Transformational Program Development
Source:
van Diepen, N W P 1994, 'Modular Algebraic Specifications and Transformational Program Development', Doctor of Philosophy.
Publication Year:
1994
Collection:
Universiteit van Amsterdam: Digital Academic Repository (UvA DARE)
Document Type:
*Book* book
Language:
unknown
Rights:
info:eu-repo/semantics/restrictedAccess
Accession Number:
edsbas.75932536
Database:
BASE