TY  - GEN
T1  - Refinement calculus :a systematic introduction /
AU  - Back, Ralph-Johan,
AU  - Wright, J. von
CN  - QA76.6
ID  - 1363950
KW  - Computer programming.
KW  - Calculus.
KW  - Computer logic.
SN  - 9781461216742 (e-book)
TI  - Refinement calculus :a systematic introduction /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3076610
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3076610
ER  -