An edition of Formal Specification and Documentation Using Z (1996)
A Case Study Approach
By Jonathan Bowen
Publish Date
February 1996
Publisher
International Thomson Computer Press
Language
eng
Pages
302
Description:
subjects: Z (Computer program language), System design, Computer software, Development, Software documentation, Z (Langage de programmation), Conception de systèmes, Logiciels, Documentation