An edition of An introduction to formal specification and Z (1991)
By Ben Potter
Publish Date
1996
Publisher
Prentice Hall
Language
eng
Pages
369