الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'spécifications formelles'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Spécification des logiciels / Pascal André
Titre : Spécification des logiciels : deux exemples de pratiques récentes Z et UML ; génie logiciel Type de document : texte imprimé Auteurs : Pascal André (1967-....), Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2001 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 317 p. Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-0774-0 Note générale : Fait suite à : "Conception des systèmes d'information" des mêmes auteurs
Bibliogr. p. 305-310. IndexLangues : Français (fre) Mots-clés : programmation informatique génie logiciel systèmes d'information spécifications formelles langage Z Langage de Modélisation Unifié (UML) facturation de commandes Index. décimale : 005.1 Spécification des logiciels : deux exemples de pratiques récentes Z et UML ; génie logiciel [texte imprimé] / Pascal André (1967-....), Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2001 . - 317 p. : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955) .
ISBN : 978-2-7298-0774-0
Fait suite à : "Conception des systèmes d'information" des mêmes auteurs
Bibliogr. p. 305-310. Index
Langues : Français (fre)
Mots-clés : programmation informatique génie logiciel systèmes d'information spécifications formelles langage Z Langage de Modélisation Unifié (UML) facturation de commandes Index. décimale : 005.1 Réservation
Réserver ce document
Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité CF2-000589 005-205.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt F2-001093 005-205.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001094 005-205.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001095 005-205.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001096 005-205.5 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001097 005-205.6 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001098 005-205.7 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible