John E. Nicholls – författare

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

2 produkter

1. 

   Z User Workshop

   Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

   Av John E. Nicholls

   E-bok, 2013

   755 kr

   Lägg i varukorg

   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 program­ ming concepts and to verify the work by case studies with industry. Hence among early Z …

2. 

   Z User Workshop

   Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

   Av John E. Nicholls

   Häftad, 1990

   567 kr

   Lägg i varukorg

   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 program­ ming concepts and to verify the work by case studies with industry. Hence among early Z …