الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail d'une collection
|
|
Documents disponibles dans la collection
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
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
