NDLTD Global ETD Search
New Search
Return to search
A refinement calculus for nondeterministic expressions
No description available.
Links & Downloads
http://espace.library.uq.edu.au/view/UQ:192541
Tags
08 Information and Computing Sciences
Calculus
Additional Fields
Identifer
oai:union.ndltd.org:ADTP/286945
Creators
Ward, Nigel Thomas Edgar
Source Sets
Australiasian Digital Theses Program
Detected Language
English
Page generated in 0.0012 seconds