Introduction à la spécification / Henri Habrias

Public ISBD Titre : Introduction à la spécification Type de document : texte imprimé Auteurs : Henri Habrias, Auteur ; Hervé Gallaire, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1993 Collection : Méthodologies du logiciel Importance : xix, 347 p. Présentation : ill., couv. ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82768-6 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : calcul propositionnel.  logique premier ordre.  système formel. 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, Auteur ; Hervé Gallaire, Préfacier, etc. . - Paris : Masson, 1993 . - xix, 347 p. : ill., couv. ill. ; 24 cm.. - (Méthodologies du logiciel) . ISBN : 978-2-225-82768-6 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : calcul propositionnel.  logique premier ordre.  système formel. 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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.1.220-1	005.1.220-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
005.3-16-1	005.3-16-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.3-16-2	005.3-16-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

---

page 1/1