J.E. Nicholls – författare

Visar alla böcker från författaren J.E. Nicholls. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Z User Workshop, Oxford 1990

   Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

   Av J.E. Nicholls

   E-bok, 2013

   755 kr

   Lägg i varukorg

2. 

   Z User Workshop, London 1992

   Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

   Av J.E. Nicholls, J.P. Bowen

   E-bok, 2013

   732 kr

   Lägg i varukorg

   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 by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI …

3. 

   Z User Workshop, Oxford 1990

   Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

   Av J.E. Nicholls

   Häftad, 1991

   567 kr

   Lägg i varukorg

   The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This …

4. 

   Z User Workshop, London 1992

   Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

   Av J.P. Bowen, J.E. Nicholls

   Häftad, 1993

   567 kr

   Lägg i varukorg

   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 by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI …