Z User Workshop, Oxford, 1990: Proceedings Of The Fifth Annual Z User Meeting, Oxford 17-18 December 1990

By J.E. Nicholls, Z User Workshop. (5th 1990 Oxford, England), Z User Workshop

Z User Workshop, York, 1991: Proceedings Of The Sixth Annual Z User Meeting York, 16-17 December 1991

By C.J. Van Rijsbergen, J. E. Nicholls, Z User Workshop, Alf Smith (Auth.), J. E. Nicholls MA (Eds.)

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 = x + 1 defined over the real numbers...

Z User Workshop, London 1992: Proceedings Of The Seventh Annual Z User Meeting, London 14-15 December 1992

By J.P. Bowen, Z User Meeting (7th 1992 London, England), Z User Workshop, J.P. Bowen And J.E. Nicholls (Eds.)

1 online resource (viii, 350 pages) 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 used...

Z User Workshop, Cambridge 1994: Proceedings Of The Eighth Z User Meeting, Cambridge 29-30 June 1994

By J.P. Bowen, Z User Workshop (8th 1994 Cambridge, England), Z User Workshop

Z User Workshop

By John E. Nicholls, Z User Workshop

The Mathematical Concepts And Notational Conventions We Know Of As Z Were First Proposed Around 1981. Its Origins Were In Line With The Objectives Of The Prg - To Establish A Mathematical Basis For...

Z User Workshop

By John E. Nicholls

Z User Workshop

By J.E. Nicholls, Z User Meeting 5th 1990 Oxford England

Z User Workshop, York, 1991

By Z User Meeting 6th 1991 York England

Z User Workshop, London 1992

By J.P. Bowen, Z User Meeting (7th 1992 London, England), Z User Workshop, J.P. Bowen And J.E. Nicholls (Eds.)

1 online resource (viii, 350 pages) 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 used...

Z User Workshop, Cambridge, 1994

By Z User Workshop 8th 1994 Cambridge England