Titre : |
PRECIS DE GENIE LOGICIEL |
Type de document : |
texte imprimé |
Auteurs : |
GAUDEL. M-C, Auteur ; MARRE. B, Auteur |
Editeur : |
PARIS : MASSON |
Année de publication : |
1996 |
Importance : |
141 |
Présentation : |
illus. |
Format : |
24 cm. |
ISBN/ISSN/EAN : |
978-2-225-85189-6 |
Note générale : |
INDEX |
Mots-clés : |
LIGICIEL.PROGRAMMATION. |
Index. décimale : |
005.1 |
Résumé : |
ce livre:modèles de développement du logiciel, méthodes d'analyse de spécification et de cancaption,méthodes formelles de spécification et de dévloppement;langages de programmation,test de logiciel,méthodes de preuve de développement de logiciel. |
PRECIS DE GENIE LOGICIEL [texte imprimé] / GAUDEL. M-C, Auteur ; MARRE. B, Auteur . - PARIS : MASSON, 1996 . - 141 : illus. ; 24 cm. ISBN : 978-2-225-85189-6 INDEX
Mots-clés : |
LIGICIEL.PROGRAMMATION. |
Index. décimale : |
005.1 |
Résumé : |
ce livre:modèles de développement du logiciel, méthodes d'analyse de spécification et de cancaption,méthodes formelles de spécification et de dévloppement;langages de programmation,test de logiciel,méthodes de preuve de développement de logiciel. |
| |