Explore Books on
z (langage de programmation)

Z

By Antoni Diller

Essence of Z (Prentice-Hall Essence of Computing)

By Ed Currie

Understanding Z

By J. M. Spivey

An introduction to formal specification and Z

By Ben Potter

Formal Specification Using Z (Computer Science)

By David Lightfoot

Formal Specification and Documentation Using Z

By Jonathan Bowen

An introduction to formal specification with Z and VDM

By Deri Sheppard

Exercices corrigés en langage Z

By Pascal André

The Z formal specification notation

By Jonathan P. Bowen,Michael G. Hinchey