Refinement Calculus a Systematic Introduction [Texts in Computer Science] (Paperback) ISBN-13: 9780387984179 ISBN-10: 0387984178 Genres: Science & Math, Substores ? |
Refinement Calculus a Systematic Introduction [Texts in Computer Science] (Paperback) ISBN-13: 9780387984179 ISBN-10: 0387984178 Genres: Science & Math, Substores ? |