Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Pierre Abélard : colloque international de Nantes
Éditeur(s) : Presses universitaires de Rennes
Réunit 27 textes écrits par des spécialistes d'Abélard. Se décompose en quatre grandes parties comprenant un portrait de Pierre Abélard (1079-1142), l'amour du philosophe pour Héloïse, sa poésie liturgique et enfin sa philosophie. ©Electre 2025
24,00 €
Chargement...
La mesure du logiciel
Éditeur(s) : Teknea
Destinées à donner à tout informaticien, les connaissances pour juger de l'intérêt, des limites, des exigences des méthodes et techniques de mesure du logiciel. ©Electre 2025
30,49 €
Chargement...
Le Modèle relationnel binaire : méthode I.A. (NIAM)
Éditeur(s) : Eyrolles
Présente un modèle utilisé en conception de systèmes informatiques. ©Electre 2025
65,10 €
Chargement...
Mathématiques à l'usage des informaticiens
Éditeur(s) : Ellipses
Traite de la théorie des ensembles et des relations, du calcul booléen, de la logique du premier ordre, de la théorie des langages et des automates à états finis, des graphes et arbres, du calcul matriciel et d'algèbre linéaire, des polynômes et d'arithmétique, des c...
33,00 €
Chargement...
Structures de données et méthodes formelles
Éditeur(s) : Springer
L'ouvrage établit un lien avec la discipline des méthodes formelles pour le génie logiciel. Il montre comment calculer les opérations qui accompagnent une structure de données à partir d'une spécification rigoureuse. Après une présentation des bases, l'auteur focalis...
87,00 €
Chargement...
La spécification formelle avec Z
Éditeur(s) : Teknea
Introduction au langage de spécification formelle Z qui fait largement appel aux notations des mathématiques discrètes. Les mathématiques de Z sont expliquées et accompagnées d'un exemple de spécification. ©Electre 2025
21,34 €
Chargement...
4e s journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information, Nantes, 25-27 sept. 1990
Éditeur(s) : LIANA
Méthodes de conception orientées, objet et méthodes de spécifications formelles (Jackson, Abrial...). ©Electre 2025
68,60 €
Chargement...
Introduction à la spécification
Éditeur(s) : Elsevier Masson
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. A partir du modèle conceptuel de données et de la sémantique, les méthodes de spécification les plus usuelles sont présent...
44,10 €
Chargement...
Spécification formelle avec B
Éditeur(s) : Lavoisier-Hermès
Les évolutions les plus récentes du langage et de la méthode B (méthode algébrique de spécification) sont le fruit de deux nouveaux types d'application de B : la rétro-ingénierie de logiciels (née de la nécessité de rénover les logiciels de sécurité) et la spécific...
98,00 €
Chargement...
Systèmes de gestion de bases de données sur micro-ordinateurs : actes
Éditeur(s) : Eyrolles
Réunit les textes des communications présentées aux journées AFCET de La Rochelle, faisant le point sur les systèmes actuels, les développements en cours et sur les perspectives d'avenir des systèmes de gestion de bases de données de tous types. ©Electre 2025
45,92 €
Chargement...
Dictionnaire encyclopédique du génie logiciel
Éditeur(s) : Elsevier Masson
Propose, pour la première fois, un tour d'horizon des méthodes et termes utilisés en génie logiciel. Chaque terme est défini, soit par l'auteur, soit par ce qui est communément admis par la profession. Les différentes approches d'un concept sont présentées, permettan...
37,95 €
Chargement...
UML, la notation unifiée de modélisation objet : applications en Java
Éditeur(s) : InterEditions
L'ouvrage intègre des études de cas et des exemples de conception de systèmes d'information client-serveur programmés en Java. Les fichiers sources des exemples sont fournis sur CD-ROM. ©Electre 2025
44,97 €
Chargement...
UML, la notation unifiée de modélisation objet : de Java aux EJB
Éditeur(s) : Dunod
L'ouvrage intègre des études de cas et des exemples de conception de systèmes d'information client-serveur programmés en Java, ainsi qu'une modélisation détaillée en UML de la gestion d'un site marchand et une introduction aux Enterprise JavaBeans. Les fichiers sourc...
42,90 €
Chargement...