An edition of Understanding Z (1988)
a specification language and its formal semantics
By J. M. Spivey
Publish Date
1988
Publisher
Cambridge University Press
Language
eng
Pages
136
Description:
subjects: Z (Computer program language), Semantics, Programming languages (Electronic computers), Programmeertalen, Z (Langage de programmation), Sémantique, Langages de programmation, Z, Computer programs