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 :
LEADER 02563cam a2200505 4500
001 PPN059255099
005 20230126060400.0
010 |a 2-7298-0774-8  |b br.  |d 29 EUR 
035 |a Evry37012 
035 |a DYNIX_BUNAN_467249 
035 |a bua133577 
035 |a elec2001241386 
073 1 |a 9782729807740 
100 |a 20011212h20012001k y0frey0103 ba 
101 0 |a fre  |e fre  |f fre  |g fre 
102 |a FR 
105 |a a a 001yy 
106 |a r 
200 1 |a Spécification des logiciels  |b Texte imprimé  |e deux exemples de pratiques récentes  |e Z et UML  |f Pascal André,... Alain Vailly,... 
210 |a Paris  |c Ellipses  |d 2001 
215 |a 1 vol. (317 p.)  |c ill., couv. ill.  |d 26 cm 
225 2 |a Technosup  |i Génie logiciel  |e les filières technologiques des enseignements supérieurs 
308 |a Ouvrage de niveau C : Compléments (approfondissement, spécialisation), Ecoles d'ingénieurs, Maîtrise 
320 |a Bibliogr. p. [305]-310. Index 
410 | |0 069333637  |t Technosup  |i Génie logiciel  |b Texte imprimé  |o les filières technologiques des enseignements supérieurs  |f [dir. par Claude Chèze]  |c Paris  |n Ellipses  |d [2001?]-  |s Technosup 
606 |3 PPN027235912  |a Langages de programmation  |3 PPN027551385  |x Modèles mathématiques  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN031352812  |a Z (langage de programmation)  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN029548276  |a Programmation orientée objets (informatique)  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN027673529  |a Génie logiciel  |2 rameau 
606 |3 PPN028909917  |a Logiciels  |x Développement  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN035351772  |a UML (informatique)  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN027249913  |a Systèmes informatiques  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN029548276  |a Programmation orientée objets (informatique)  |2 rameau 
676 |a 005.1 
700 1 |3 PPN055750931  |a André  |b Pascal  |f 1967-....  |4 070 
701 1 |3 PPN055750966  |a Vailly  |b Alain  |4 070 
801 3 |a FR  |b Abes  |c 20060421  |g AFNOR 
801 3 |a FR  |b Electre  |c 20120325  |g AFNOR 
930 |5 441092104:181844079  |b 441092104  |a 681.324 AND  |j u 
930 |5 441092104:181844087  |b 441092104  |a 681.324 AND  |j u 
930 |5 441092104:181844095  |b 441092104  |a 681.324 AND  |j u 
930 |5 441092104:181844109  |b 441092104  |a 681.324 AND  |j u 
930 |5 441092105:358138736  |b 441092105  |j u 
979 |a SCI 
998 |a 550984