Z by Antoni Diller
Preview Only
An introduction to formal specification and Z by Ben Potter
Borrow
Formal Specification Using Z (Computer Science) by David Lightfoot
Preview Only
Formal Specification and Documentation Using Z by Jonathan Bowen
Not in Library
Exercices corrigés en langage Z by Pascal André
Borrow
Understanding Z by J. M. Spivey
Borrow
Essence of Z (Prentice-Hall Essence of Computing) by Ed Currie
Borrow
An introduction to formal specification with Z and VDM by Deri Sheppard
Borrow
The Z formal specification notation by Jonathan P. Bowen, Michael G. Hinchey
Not in Library

Publishing History

This is a chart to show the publishing history of editions of works about this subject. Along the X axis is time, and on the y axis is the count of editions published. Click here to skip the chart.  This graph charts editions published on this subject.
Editions Published
Year of Publication

Related...

Subjects
Z (Computer program language), Z (langage de programmation), Computer software, Development, Logiciels, Z, Z (computer program language), Computer programs, Développement, Formal methods (Computer science), Formale Spezifikationstechnik, Problems, exercises, Problèmes et exercices, Z (programmeertaal), Computers, congresses, Conception de systèmes, Congresses, Congrès, Documentation, Formal languages
Places
None found.
People
None found.
Times
None found.

Prolific Authors

who have written the most books on this subject
Pascal André, 1 book
David Lightfoot, 1 book
Antoni Diller, 1 book
Ed Currie, 1 book
Jonathan Bowen, 1 book
J. M. Spivey, 1 book
Ben Potter, 1 book
Deri Sheppard, 1 book
Jonathan P. Bowen, 1 book
Michael G. Hinchey, 1 book