Formal Specification and Documentation Using Z

Formal Specification and Documentation Using Z
Details
- OL Work ID
- OL9795457W
Subjects
Z (Computer program language)System designComputer softwareDevelopmentSoftware documentationZ (Langage de programmation)Conception de systèmesLogicielsDocumentation