Back, Ralph-Johan. Wright, Joakim von.
Refinement Calculus : Systematic Introduction : (GTCS) - USA Springer 1998 - 519 - Graduate Texts in Computer Science .
0-387-98417-8
Electronic Digital Computers - Programming
Calculus
Computer Logic
681.3 BAC
Refinement Calculus : Systematic Introduction : (GTCS) - USA Springer 1998 - 519 - Graduate Texts in Computer Science .
0-387-98417-8
Electronic Digital Computers - Programming
Calculus
Computer Logic
681.3 BAC