Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Workshops in Computing - J E Nicholls - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540197805 - 1992. gada 6. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 12. - 20. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem J E Nicholls izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1992. gada 6. augusts
ISBN13 9783540197805
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 408
Izmēri 170 × 242 × 22 mm   ·   657 g
Valoda Vācu  
Redaktors Nicholls, J. E.

Vairāk no J E Nicholls

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus J E Nicholls