MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Z User Workshop, Oxford 1990 : Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Published 1991

Springer London

Subjects: “...Logics and Meanings of Programs...”