Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Henri Habrias
É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...
Éditeur(s) :
Eyrolles
Présente un modèle utilisé en conception de systèmes informatiques. ©Electre 2025
65,10 €
Chargement...
É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...
É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...
É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...
É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...
Éditeur(s) :
LIANA
Méthodes de conception orientées, objet et méthodes de spécifications formelles (Jackson, Abrial...). ©Electre 2025
68,60 €
Chargement...
É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...
É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...
É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...
É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...
É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...
É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...
