Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Workshops in Computing - J E Nicholls - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540197805 - August 6, 1992
In case cover and title do not match, the title is correct

J E Nicholls
Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Workshops in Computing Softcover reprint of the original 1st ed. 1992 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Example 1 The following Z specification of a functionf, from integers to integers "f x : ~ 1 x ~ O* fx = x + 1 (i) "f x : ~ 1 x ~ O* fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced!

408 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 6, 1992
ISBN13 9783540197805
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 408
Dimensions 170 × 242 × 22 mm   ·   657 g
Language German  
Editor Nicholls, J. E.

More by J E Nicholls

Show all

Mere med samme udgiver

See all of J E Nicholls ( e.g. Paperback Book )