GEOTRUST SSL CERTIFICATE
Titre : | Précis de génie logiciel |
Auteurs : | Michel Lemoine, Auteur |
Type de document : | texte imprimé |
Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1996 |
Collection : | Enseignement de l'informatique |
ISBN/ISSN/EAN : | 978-2-225-85189-6 |
Format : | 142p. / 24 x 16 cm |
Note générale : | Index |
Langues: | Français |
Catégories : | |
Mots-clés: | génie logiciel / manuels d'enseignement supérieur |
Résumé : |
Cours concis de génie logiciel. Cette discipline établit les règles et les méthodes qui permettront aux programmeurs d'écrire des logiciels performants. Elle représente ainsi un enjeu économique majeur.
|
Note de contenu : |
1-Modèles de dèveloppemenrt du logiciel
2-Mèthodes d'annalyse de spècification et de conception 3-Mèthodes formelles de spèciffication et de dèvloppement 4-Langage de programmtion 5-Test de logiciel 6-Mèthodes de preuve de dèveloppement de logiciel |
Exemplaires (5)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
TEC006289 | INF00901 | Livre | Magasin des Ouvrages | Informatique | Exclu du prêt |
TEC006290 | INF00902 | Livre | Magasin des Ouvrages | Informatique | Disponible |
TEC006291 | INF00903 | Livre | Magasin des Ouvrages | Informatique | Disponible |
TEC014583 | INF04996 | Livre | Magasin des Ouvrages | Informatique | Disponible |
TEC014584 | INF04997 | Livre | Magasin des Ouvrages | Informatique | Disponible |