In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of i

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 ca

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now use

This is the latest volume in the 'Workshops in Computing' series, and contains papers from the International Workshop on Hpyermedia Design, held in Montpellier,