J. M. Spivey

Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)

Availability
To see availability please select your region.
Books2Africa Collection
Subjects
Author(s)
Published
31st March 1988
Publisher
Cambridge University Press
ISBN-10
0521334292
ISBN-13
9780521334297
To reserve this book you first need to set your reservation location.