Formal Specification and Documentation Using Z
Z (Computer program language)System designComputer softwareDevelopmentSoftware documentationZ (Langage de programmation)Conception de systèmesLogiciels
Writing a summary for young readers…
For young readers
Book data: Open Library