Refinement calculus : a systematic introduction /

Bibliographic Details

Main Author:	Back, Ralph-Johan
Other Authors:	Wright, J. von (Joakim), 1955-
Format:	Book
Language:	English
Published:	New York : Springer, [1998]
Series:	Graduate texts in computer science (Springer-Verlag New York Inc.)
Subjects:	Computer programming. Calculus. Computer logic.