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

Specification

by J Spivey

Paperback

ISBN: 978-0-521-05414-0

ISBN-10: 0-521-05414-1

Cambridge University Press · 2008

See also (possibly by other authors):
1988HardcoverUnderstanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)