Machines abstraites

 

Langage Z : originalité 

Décharger complètement l’utilisateur des problèmes d'implémentation (représentations mémoire)

Z offre pour le niveau 1

Z offre pour le niveau 2