Détail d'une collection
Sous-collection Génie logiciel
Éditeur :
Collection :
ISSN :
pas d'ISSN
|
Documents disponibles dans la sous-collection (3)



![]()
texte imprimé
![]()
texte imprimé
Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique d[...]
