Showing 1 - 1 results of 1 for search 'Wright, J. von 1955-', query time: 0.03s Refine Results
1
Refinement calculus : : a systematic introduction /
Participants: Back, Ralph-Johan, [ VerfasserIn ]; Wright, J. von 1955- [ VerfasserIn ]; Wright, J. von 1955- [ TeilnehmendeR ]
Published: 1998.
Superior document: Graduate Texts in Computer Science
Other Authors: “...Wright, J. von 1955-...”
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search