Understanding Z
Subtitle: A Specification Language and Its Formal Semantics
Publisher: Cambridge University Press
Published: 2008
Language: eng
Number of pages: 140
ISBN-13: 9780521054140
Subjects: Programming languages (electronic computers); Z (computer program language)