الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'application aux bases de données, différences entre z et vdm, petit traité de boxologie'
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
Introduction à la spécification / Henri Habrias
Titre : Introduction à la spécification Type de document : texte imprimé Auteurs : Henri Habrias (1946-....), Auteur Editeur : Paris : Masson Année de publication : 1993 Collection : Méthodologies du logiciel (Paris), ISSN 1242-5656 num. 2 Importance : XIX-347 p. Présentation : ill., couv. ill. Format : 16*24 cm ISBN/ISSN/EAN : 978-2-225-82768-6 Prix : 260 F Note générale : Bibliogr. p. 319-340. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Application aux bases de données, différences entre Z et VDM, petit traité de boxologie Index. décimale : 006 Résumé : L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser. Introduction à la spécification [texte imprimé] / Henri Habrias (1946-....), Auteur . - Paris : Masson, 1993 . - XIX-347 p. : ill., couv. ill. ; 16*24 cm. - (Méthodologies du logiciel (Paris), ISSN 1242-5656; 2) .
ISBN : 978-2-225-82768-6 : 260 F
Bibliogr. p. 319-340. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Application aux bases de données, différences entre Z et VDM, petit traité de boxologie Index. décimale : 006 Résumé : L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-001001 006-041.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001545 006-041.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible