Filter

Z (Programmiersprache)

3 books found

Refinement in Z and Object-Z
Refinement in Z and Object-Z

by John Derrick, Eerke A. Boiten

2001 1 ed.
The Z formal specification notation
The Z formal specification notation

by Jonathan P. Bowen, Michael G. Hinchey

1998 1 ed.
The Z formal specification notation
The Z formal specification notation

by Jonathan P. Bowen

1997 1 ed.