Introduction. La langage Z a été développé à l'Université d'Oxford à la suite des
travaux de Jean. René Abrial. ... en Z, utilisant uniquement les aspects
ensemblistes. 2. Les ensembles .... Copy est un exemplaire de livre. Il peut être
available ... 
