Refinement calculus : a systematic introduction
Title:
Refinement calculus : a systematic introduction
Author:
Back, Ralph-Johan, author.
ISBN:
9781461216742
Personal Author:
Physical Description:
1 online resource (519 pages) : illustrations.
Series:
Graduate Texts in Computer Science
Graduate texts in computer science (Springer-Verlag New York Inc.)
Local Note:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Genre:
Added Author:
Electronic Access:
Click to View