Skip to content

Formal Specification and Documentation Using Z

by Jonathan Bowen

Cover of Formal Specification and Documentation Using Z
Popularity 1

No description available.

Z (Computer program language)System designComputer softwareDevelopmentSoftware documentationZ (Langage de programmation)Conception de systèmesLogicielsDocumentation
Formal Specification and Documentation Using Z by Jonathan Bowen — book · Vinony