Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3
A Paperback by J. M. Spivey
£41.32
Includes FREE deliveryOrder before 4pm tomorrow for delivery by Thu 10 Sep 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3 by J. M. Spivey
Book details
Publisher
Cambridge University Press
Published
21 January 2008
ISBN-13
9780521054140
978-0521054140
978-0521054140
Also in:
Software Engineering
Software Engineering