On the Refinement Calculus
Publisher: Springer; Brand: Springer
Published: Dec 27, 1994
Format: paperback
Number of pages: 176
ISBN-13: 9783540199311
Notes: Source title: On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))