Détail d'une collection
Sous-collection Génie logiciel
Éditeur :
Collection :
ISSN :
pas d'ISSN
|
Documents disponibles dans la sous-collection (3)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
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[...]
Accueil