Spécification des logiciels : deux exemples de pratiques récentes : Z et UML

Spécification des logiciels : deux exemples de pratiques récentes Z et UML

Enregistré dans:
Détails bibliographiques
Auteurs principaux : André Pascal (Auteur), Vailly Alain (Auteur)
Format : Livre
Langue : français
Titre complet : Spécification des logiciels : deux exemples de pratiques récentes : Z et UML / Pascal André,... Alain Vailly,...
Publié : Paris : Ellipses , 2001
Description matérielle : 1 vol. (317 p.)
Collection : Technosup Génie logiciel les filières technologiques des enseignements supérieurs [dir. par Claude Chèze]
Sujets :
Langages de programmation > Modèles mathématiques > Manuels d'enseignement supérieur
Z (langage de programmation) > Manuels d'enseignement supérieur
Programmation orientée objets (informatique) > Manuels d'enseignement supérieur
Génie logiciel
Logiciels > Développement > Manuels d'enseignement supérieur
UML (informatique) > Manuels d'enseignement supérieur
Systèmes informatiques > Manuels d'enseignement supérieur
Programmation orientée objets (informatique)
Description
Note sur la collection : Ouvrage de niveau C : Compléments (approfondissement, spécialisation), Ecoles d'ingénieurs, Maîtrise
Bibliographie : Bibliogr. p. [305]-310. Index
ISBN : 2-7298-0774-8