Z /zed/ 1. (After {Zermelo-Fränkel set theory}) A developed by the at Oxford University around 1980. Z is used for describing and modelling computing systems. It is based on and . Z is written using many non- symbols. It was used in the project. See also {Z++}. ["Understanding Z", J.M. Spivey, Cambridge U Press 1988]. 2. A -based, complex arithmetic language from . (1995-08-11)
на заглавную 
к началу страницы