Auteur Vailly Alain
|
|
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
Titre : Exercices corrigés en langage Z - Les spécifications formelles par l'exemple Type de document : texte imprimé Auteurs : André Pascal, Auteur ; Vailly Alain, Auteur Editeur : Paris : ellipses edition marketing Année de publication : 2004 Collection : technosup Importance : 256p Présentation : couv:ill Format : 26cm ISBN/ISSN/EAN : 978-2-7298-1942-2 Langues : Français (fre) Tags : Génie logiciel Index. décimale : 005.1 Résumé : Le langage Z-La spécification avec Z-La spécification avec Z : la facturation des commandes-Des compléments pour la modélisation avec Exercices corrigés en langage Z - Les spécifications formelles par l'exemple [texte imprimé] / André Pascal, Auteur ; Vailly Alain, Auteur . - Paris : ellipses edition marketing, 2004 . - 256p : couv:ill ; 26cm. - (technosup) .
ISBN : 978-2-7298-1942-2
Langues : Français (fre)
Tags : Génie logiciel Index. décimale : 005.1 Résumé : Le langage Z-La spécification avec Z-La spécification avec Z : la facturation des commandes-Des compléments pour la modélisation avec Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 22829 E005.1 -93/2 Livre Bibliothèque Centrale Documentaires Disponible 22828 E005.1-93/1 Livre Bibliothèque Centrale Documentaires Disponible
